1 Department of Computer Science, The Faculty of Engineering and Science, Aalborg University, VBN2 The Faculty of Engineering and Science, Aalborg University, VBN3 Distributed Systems and Semantics, The Faculty of Engineering and Science, Aalborg University, VBN
Automated Vulnerability Scanning of PHP Applications
In this paper we describe the THAPS vulnerability scanner for PHP web applications. THAPS is based on symbolic execution of PHP with specialised support for scanning extensions and plug-ins of larger application frameworks. We further show how THAPS can integrate the results of dynamic analyses, generated by a customised web crawler, into the static analysis. This enables analysis of often used advanced dynamic features such as dynamic code load and reflection. To the best of our knowledge, THAPS is the first tool to apply this approach and the first tool with specific support for analysis of plug-ins. In order to verify our approach, we have scanned 375 WordPress plug-ins and a commercial (monolithic) web application, resulting in 68 and 28 confirmed vulnerabilities respectively.
Lecture Notes in Computer Science, 2012, p. 31-46
Main Research Area:
Lecture Notes in Computer Science
17th Nordic Conference, NordSec 2012Nordic Workshop on Secure IT-systems