电子学报2020,Vol.48Issue(12):2417-2424,8.DOI:10.3969/j.issn.0372-2112.2020.12.018
一种针对格式文件的符号执行优化方法
A Symbolic Execution Optimization Method Based on File For mat Constraint
摘要
关键词
符号执行/文件格式/路径爆炸/缺陷查找分类
信息技术与安全科学引用本文复制引用
汪孙律,杨秋松,李明树..一种针对格式文件的符号执行优化方法[J].电子学报,2020,48(12):2417-2424,8.基金项目
中国科学院战略性先导科技专项(No.XDA-Y01-01) (No.XDA-Y01-01)