Static detection of security vulnerabilities in scripting languages
Flow-sensitive type qualifiers