Python symbolic-execution

Open-source Python projects categorized as symbolic-execution
Edit details
Topics: program-analysis Python Fuzzing Security Static Analysis
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 7 Python symbolic-execution Projects

  • mythril

    Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

  • manticore

    Symbolic execution tool

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • miasm

    Reverse engineering framework in Python

  • CrossHair

    An analysis tool for Python that blurs the line between testing and type systems.

  • deepstate

    A unit test-like interface for fuzzing and symbolic execution

  • MATE

    MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs. (by GaloisInc)

  • pastis

    PASTIS: Collaborative Fuzzing Framework

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Python symbolic-execution related posts

  • FuzzTest: a C++ testing framework for writing and executing fuzz tests, property-based tests executed using coverage-guided fuzzing under the hood

    5 projects | /r/cpp | 3 Dec 2022

  • Try CrossHair while working other Python projects

    2 projects | /r/hacktoberfest | 14 Oct 2022

  • Tools to verify solidity code

    6 projects | /r/ethdev | 3 Jun 2022

  • What is Manticore?

    1 project | /r/smartcontractaudits | 26 May 2022

  • Pynguin – Allow developers to generate Python unit tests automatically

    4 projects | news.ycombinator.com | 31 May 2021

  • Programming in Z3 by learning to think like a compiler

    6 projects | news.ycombinator.com | 3 May 2021

  • DeepState – common interface to symbolic execution and fuzzing engines

    1 project | news.ycombinator.com | 30 Apr 2021
  • A note from our sponsor - SaaSHub
    www.saashub.com | 10 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source symbolic-execution projects in Python? This list will help you:

Project Stars
1 mythril 3,731
2 manticore 3,642
3 miasm 3,356
4 CrossHair 952
5 deepstate 806
6 MATE 170
7 pastis 147

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com