声明
插图索引
表格索引
缩略语对照表
第一章绪论
1.1研究背景与意义
1.2研究现状
1.3论文研究内容与组织结构
第二章PHP应用程序分析技术概述
2.1 PHP应用程序漏洞概述
2.2符号执行概述
2.3污点分析概述
2.4本章小结
第三章基于动态符号执行的Web漏洞挖掘技术研究
3.1漏洞特征模型
3.2基于漏洞特征信息的函数摘要
3.3基于程序切片的动态符号执行
3.4基于漏洞源定位的污点分析
3.5本章小结
第四章Web漏洞挖掘系统PHPVS
4.1 PHPVS原型系统设计
4.2预编译模块
4.3安全检测模块
4.4系统实验和结果
4.5本章小结
第五章总结与展望
5.1研究结论
5.2研究展望
参考文献
致谢
作者简介
附录A
附录B