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).

  • OPS

    OPS - Build and Run Open Source Unikernels. Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.

  • 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.

Python symbolic-execution related posts

Index

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

Project Stars
1 manticore 2,628
2 CrossHair 735
3 deepstate 666
Find remote jobs at our new job board 99remotejobs.com. There are 28 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
www.sonarqube.org