臺灣大學: 資訊管理學研究所蔡益坤葉睿元Yeh, Rui-YuanRui-YuanYeh2013-03-222018-06-292013-03-222018-06-292010http://ntur.lib.ntu.edu.tw//handle/246246/251469The importance of Web applications has increased continually in recent years. As more and more services are delivered through Web applications, they have become a major target of security attacks. In addition, Web applications are often implemented by programmers with time-to-market pressure and limited security skills. These situations result in an increasing security threat that may lead to the compromise of sensitive information. Due to the fact that security vulnerabilities are often rather intricate, especially when the relevant code spans many different functions and source files,finding all potential vulnerabilities without the assistance of an automated tool is impractical. PHP is one of the most popular languages for Web application development. To detect security vulnerabilities in PHP Web applications, many program analysis techniques, in particular by static analysis approaches, have been developed. In this thesis, we design and implement a static code analysis tool for PHP that improves over an existing analyzer. Our tool translates a PHP program into a CIL program and applies taint analysis on the CIL representation. We support most PHP5 features and preserve the semantics of the source program in our translation. The new object-oriented features in PHP5 bring new vulnerable points in programs. We also design and implement interprocedural analysis and alias analysis algorithms which provide support for object-oriented features of PHP. Our interprocedural analysis allows taint analysis to cross function boundaries and provide more precise and complete analysis results. Alias analysis can discover the relationship between variables that are mapped to the same memory location in program. Finally, we demonstrate the effectiveness of our approach by detecting XSS vulnerabilities that cross object and alias relationships. We also confirm these vulnerabilities by executing our CIL representation as well as the original PHP source programs.16981782 bytesapplication/pdfen-US靜態分析資料流分析網站應用程式安全別名分析安全性弱點驗證Static AnalysisDataflow AnalysisWeb Application SecurityAlias AnalysisSecurity VulnerabilityVerificationhttp://ntur.lib.ntu.edu.tw/bitstream/246246/251469/1/ntu-99-R97725042-1.pdf