A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Static analysis of Python web applications based on theoretical foundations (Control flow graphs, fixed point, dataflow analysis)
Features planned:
Work in progress