Taint Analysis Python Packages

pyre-check

Performant type-checking for python.

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.

python-taint

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

agent-audit

Static security scanner for LLM agents — prompt injection, MCP config auditing, taint analysis. 49 rules mapped to OWASP Agentic Top 10 (2026). Works with LangChain, CrewAI, AutoGen.

orihime

Cross-repo code knowledge graph for Java/Kotlin/JS/TS — MCP server, taint analysis, call graph, OWASP reports. 95% fewer tokens than source-reading.

ithildin

Semantic analyzer of EVM bytecode based on Mythril

aura-security

Python source code auditing and static analysis on a large scale

polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

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.

taint-analysis

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