Symbolic Execution Python Packages

crosshair-tool

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

mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

manticore

Symbolic execution tool

triton-library

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

pytorch-functional

Symbolic API for model creation in PyTorch

pytorch-symbolic

Symbolic API for model creation in PyTorch

pakala

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

pastis-framework

PASTIS: Collaborative Fuzzing Framework

apalache-rpc-client

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

ithildin

Semantic analyzer of EVM bytecode based on Mythril

micro-svm

Micro-SVM: A simple symbolic VM in Python and Z3

etheno

Simplify Ethereum security analysis and testing

phantom-ai

Sandboxed data analysis with LLMs (powered by DuckDB)

qseqsim

Symbolic simulation of dynamic Qiskit circuits and measurement-driven loops using BDDs and weighted model counting.

delta-dx

A Symbolic Differentiator

whitesymex

Symbolic execution engine for Whitespace.