基于混合符号执行的安全漏洞检测关键技术的研究.pdfVIP

基于混合符号执行的安全漏洞检测关键技术研究 张俊贤 李舟军 (北京航空航天大学。北京100191) 摘要：安全漏洞检测技术是信息安全领域研究和实践工作的核心问题之一， 如何准确高效地发现程序中存在的安全漏洞始终是研究者和实践者的关注 焦点。随着对问题研究的深入，新的方法、技术和工具不断出现，一种发展 趋势是结合多种经典方法、并综合利用诸多新出现的技术对程序进行安全 漏洞检测。其中，一种被称为混合符号执行的轻量级动态符号执行方法尤 为值得关注，本文就混合符号执行的历史由来、工作原理及其在安全漏洞检 测领域的关键技术进行介绍，并就与此方法相关的热点研究问题进行讨论。 关键词：安全漏洞检测；符号执行；Concolic执行 3 中图分类号：TP ResearchonGenericCritical of TechnologiesSystematic DetectionBasedonConcolicExecution SecurityVulnerability ZHANG‘，“以工i口行Lj Z^o酊“以 10019l·China) (BeihangUniversity，Be幻ing Detectionisoneofthe ininformation Abstract：SecurityVulnerability keyproblems security howtolocatethevulnerabilitiesand has beenthefocusof area，and accuratelyeffectivelyalways researchersand Inrecent toutiIizevariousmethodsand practitioners．years，how techniquessyn— is anewhotresearch todetectsoftwarevulnerabiljties thetically becoming direction，among whichamethodnamedconcolicexecutionis muchresearch re— arousing interesting．Thispaper thebasic thesome criticaI of secu— views concepts，p“ncipIes，andgeneric technoIogiessystematic detectionbasedonconc01icexecution．IⅥoreover，wehereadiscussion rityvulnerability provide in ofsome andnewresearchtrendsfutureresearchwork． keychallenges execution