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

Provides functional API for model creation in PyTorch.

pytorch-symbolic

Symbolic API for model creation in PyTorch

phantom-ai

Sandboxed data analysis with LLMs, powered by DuckDB

micro-svm

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

apalache-rpc-client

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

pakala

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

ithildin

Semantic analyzer of EVM bytecode based on Mythril

etheno

Simplify Ethereum security analysis and testing

pastis-framework

PASTIS: Collaborative Fuzzing Framework

delta-dx

A Symbolic Differentiator

whitesymex

Symbolic execution engine for Whitespace.