基于符号执行的注入类安全漏洞的分析技术

孙基男, 潘克峰, 陈雪峰, 张君福

Static Analysis of Injection Security Vulnerabilities Based on Symbolic Execution

SUN Jinan, PAN Kefeng, CHEN Xuefeng, ZHANG Junfu

北京大学学报自然科学版 . 2018, (1): 1 -13 . DOI: 10.13209/j.0479-8023.2017.101