|国家科技期刊平台
| 注册
首页|期刊导航|电子学报|一种针对格式文件的符号执行优化方法

一种针对格式文件的符号执行优化方法

汪孙律 杨秋松 李明树

电子学报2020，Vol.48Issue(12)：2417-2424,8.
✕
电子学报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

汪孙律 1杨秋松 2李明树1

作者信息

  • 1. 中国科学院软件研究所基础软件国家工程研究中心,北京 100190
  • 2. 中国科学院大学计算机科学与技术学院,北京 101408
  • 折叠

摘要

关键词

符号执行/文件格式/路径爆炸/缺陷查找

分类

信息技术与安全科学

引用本文复制引用

汪孙律,杨秋松,李明树..一种针对格式文件的符号执行优化方法[J].电子学报,2020,48(12):2417-2424,8.

基金项目

中国科学院战略性先导科技专项(No.XDA-Y01-01) （No.XDA-Y01-01）

电子学报

OA北大核心CSCDCSTPCD

0372-2112

访问量0
|
下载量0
段落导航相关论文