Program Analysis Python Packages

pyre-check

Performant type-checking for python.

pycg

Static Python call graph generator

manticore

Symbolic execution tool

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.

angr-management

The official angr GUI.

pyre-check-nightly

Performant type-checking for python.

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.

onecode-pycg

Static Python call graph generator

qbindiff

QBindiff binary diffing tool based on a Network Alignment problem

python-taint

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

explotest

Create Regression Tests from Runtime Arguments

pymwp

A static analyzer of variable value growth for C programs.

flatline

Python wrapper around the Ghidra decompiler

vendetect

Command-line tool for automatically detecting vendored and copy/pasted code

pastis-framework

PASTIS: Collaborative Fuzzing Framework

bap

BAP python bindings

int3

shellcode compiler and machine code mutation engine

taintmonkey

Dynamic taint analysis of Python web applications using monkey patching.

taint-analysis

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

scratchablock

Yet another crippled decompiler project