Program Analysis Python Packages

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.

angr-management

The official angr GUI.

brokk-bifrost-searchtools

Multi-language static analysis for agents, editors, and large repositories.

pycg

Static Python call graph generator

brokk-bifrost

Multi-language static analysis for agents, editors, and large repositories.

pyre-check-nightly

Performant type-checking for python.

lachesis-cpg

Compiler-precise code property graph for C, Python, and TypeScript, navigable over MCP — data- and taint-flow with source→sink witnesses, points-to, and guard/sink structure for security reasoning over source.

python-taint

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

explotest

Create Regression Tests from Runtime Arguments

qbindiff

Quarkslab Bindiffer but not only !

pymwp

A static analyzer of variable value growth for C programs.

flatline

Python wrapper around the Ghidra decompiler

pastis-framework

PASTIS: Collaborative Fuzzing Framework

vendetect

A tool to automatically detect copy+pasted and vendored code between repositories

bap

BAP python bindings

int3

shellcode compiler and machine code mutation engine

taintmonkey

MIT IEEE URTC 2025. GSET 2025. Repository for "TaintMonkey: Dynamic Taint Analysis of Python Web Applications Using Monkey Patching". A Pytest plugin incorporating fuzzing and taint analysis to uncover security vulnerabilities in Flask web applications.

scratchablock

Yet another crippled decompiler project

taint-analysis

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications