taint
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Safer Python with types for untrusted input
Find security vulnerabilities in Python web applications using static analysis.