Path sensitive static analysis of web applications for remote code execution vulnerability detection.

Yunhui Zheng Xiangyu Zhang

Published in: ICSE (2013)

Keyphrases

web applications
static analysis
symbolic execution
source code
dynamic analysis
malicious code
application development
web application development
web services
web browser
application developers
regular expressions
end users
anomaly detection
test suite
mashup
third party
data flow
open source
website