taint
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Safer Python with types for untrusted input