Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Benchmarking Static Analysis Tools for Web Security
Pixy: a static analysis tool for detecting Web application vulnerabilities
Enemy of the State: a State-aware Black-box Web Vulnerability Scanner
A Lightweight Tool for Detecting Web Server Attacks
TAJ: effective taint analysis of web applications
An overview on the Static Code Analysis approach in Software Development
Eureka: A Framework for Enabling Static Malware Analysis
Dynamic vs. Static Flow-Sensitive Security Analysis
Effective analysis, characterization, and detection of malicious web pages
Static detection of cross-site scripting vulnerabilities
Using a Diagnostic Corpus of C Programs to Evaluate Buffer Overflow Detection by Static Analysis Tools
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation
Tutorial: Static Analysis and Dynamic Testing of Computer Software
Survey of Approaches for Handling Static Analysis Alarms
Using web security scanners to detect vulnerabilities in web services
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications
Sound and precise analysis of web applications for injection vulnerabilities
Static Analysis for Java Servlets and JSP
A case study on web application vulnerability scanning tools
Mobile-Sandbox: combining static and dynamic analysis with machine-learning techniques
Combining static and dynamic analysis for the detection of malicious documents
Advanced Compiler Design and Implementation
Video abstraction using density-based clustering algorithm
Seamless Montage for Texturing Models
a soft - switching dc / dc converter with high voltage gain for renewable energy application .
The effects of animated characters on anxiety, task performance, and evaluations of user interfaces