Python symbolic-execution

Open-source Python projects categorized as symbolic-execution | Edit details

Top 3 Python symbolic-execution Projects

  • GitHub repo manticore

    Symbolic execution tool

    Project mention: Daily General Discussion - October 19, 2021 | reddit.com/r/ethfinance | 2021-10-19

    Trail of Bits releases smart contract analysis tool Manticore v0.1.5 with EVM bytecode support.

  • GitHub repo CrossHair

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

    Project mention: Klara: Python automatic test generations and static analysis library | reddit.com/r/Python | 2021-09-13

    The main difference that Klara bring to the table, compared to similar tool like pynguin and Crosshair is that the analysis is entirely static, meaning that no user code will be executed, and you can easily extend the test generation strategy via plugin loading (e.g. the options arg to the Component object returned from function above is not needed for test coverage).

  • Activeloop.ai

    Optimize your datasets for ML. Goodbye, boilerplate code - the fastest dataset optimization and management tool for computer vision.

  • GitHub repo deepstate

    A unit test-like interface for fuzzing and symbolic execution

    Project mention: Go: Fuzzing Is Beta Ready | news.ycombinator.com | 2021-06-04

    DeepState [1] is a tool that lets you write Google Test-style unit tests, as well as property tests, in either C or C++, and plug in fuzzers and symbolic executors. That is, DeepState bridges this gap between fuzz testing and property testing.

    [1] https://github.com/trailofbits/deepstate

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). The latest post mention was on 2021-10-19.

Index

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

Project Stars
1 manticore 2,505
2 CrossHair 696
3 deepstate 667
Find remote jobs at our new job board 99remotejobs.com. There are 39 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Scout APM: A developer's best friend. Try free for 14-days
Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
scoutapm.com