Using data flow analysis for detecting security vulnerabilities