A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
