PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Program Analysis Python Packages

Python packages with the GitHub topic program-analysis. Sorted by relevance, with stars and monthly downloads.
facebook
pyre-check

Performant type-checking for python.

214K 7K 451
vitsalis
pycg

Static Python call graph generator

119K 365 72
ConsenSys
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.

73K 4K 811
angr
angr-management

The official angr GUI.

39K 1K 128
trailofbits
manticore

Symbolic execution tool

28K 4K 495
facebook
pyre-check-nightly

Performant type-checking for python.

11K 7K 451
jonathansalwan
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.

3K 4K 585
kliu04
explotest

Create Regression Tests from Runtime Arguments

2K 3 0
python-security
python-taint

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

2K 2K 249
vitsalis
onecode-pycg

Static Python call graph generator

2K 365 72
statycc
pymwp

Implementation of MWP analysis on C code in Python.

2K 5 1
quarkslab
qbindiff

Quarkslab Bindiffer but not only !

1K 225 14
patacca
flatline

Python wrapper around the Ghidra decompiler

707 1 0
trailofbits
vendetect

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

626 76 6
quarkslab
pastis-framework

PASTIS: Collaborative Fuzzing Framework

295 166 11
BinaryAnalysisPlatform
bap

Python bindings to Binary Analysis Platform (BAP)

276 23 12
welchbj
int3

shellcode compiler and machine code mutation engine

124 4 0
bliutech
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.

109 14 1
python-security
taint-analysis

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

71 2K 249
pfalcon
scratchablock

Yet another crippled decompiler project

60 109 22
    • Data from PyPI, GitHub, ClickHouse, and BigQuery