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

Python source code auditing and static analysis on a large scale

Antidote to VibeCoding

Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis

Taint Analysis Engine and Trace Exploration : Overcome Obfuscation

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.

Semantic analyzer of EVM bytecode based on Mythril

A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)

Stupid Variable Taint Analysis modules in Binary Ninja

Dynamic taint analysis for Python.

Static intraprocedural and interprocedural variable propagation analysis using Binary Ninja. Powers custom modules with ease.

Static analysis tool for format string vulnerability detection

Identifying Inputs Causing Crash using Input Tagging and Propagation (Taint Analysis)

Mirror of the project repository for Program Analysis for System Security and Reliability at ETH Zürich for FS2021