结合静态分析与动态符号执行的软件漏洞检测方法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

结合静态分析与动态符号执行的软件漏洞检测方法

蔡军，邹鹏，熊达鹏，何骏

A software vulnerability detection method based on

static analysis and dynamic symbolic execution

CAI Jun,ZOU Peng,XIONG Dapeng,HE Jun

计算机工程与科学 . 2016, (12): 2536 -2541 .