A Static Analysis Tool for Detecting Security Vulnerabilities in Python ...
second-order abstract syntax