计算机工程2010，Vol.36Issue(9)：68-69,72,3.
执行路径建模进程化代码分析
Code Analysis of Modeling Execution Path as Process
摘要
关键词
符号执行/静态分析/C代码/漏洞检测分类
信息技术与安全科学引用本文复制引用
林锦滨,蒋凡..执行路径建模进程化代码分析[J].计算机工程,2010,36(9):68-69,72,3.基金项目
国家"863"计划基金资助项目(2009AA01Z145) （2009AA01Z145）
