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

Python source code auditing and static analysis on a large scale

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

Taint Analysis Engine and Trace Exploration : Overcome Obfuscation

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

Static analysis tool for format string vulnerability detection

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