您当前的位置：
首页 >
文章列表页 >
一种针对格式文件的符号执行优化方法
学术论文 | 更新时间：2025-12-08
上一篇|下一篇

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

    • A Symbolic Execution Optimization Method Based on File Format Constraint

    • 汪孙律 ，杨秋松 ，李明树
    • 电子学报 2020年48卷第12期 页码：2417-2424

    • DOI： 10.3969/j.issn.0372-2112.2020.12.018     

      中图分类号：

    移动端阅览

  •  
  •  

  • HTML全文

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

60

浏览量

138

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

一种抵抗符号执行的路径分支混淆技术
基于符号执行的能耗错误检测方法
一种符号执行制导的循环内界分析方法
基于依赖条件重构的程序符号值分析方法
知识增强的区域关联图像解说生成方法

相关作者

陈喆
于晓旭
张海宁
王晓初
刘伟杰
贾春福
王志
陈勇

相关机构

南开大学计算机与控制工程学院
武汉大学计算机学院
中国电子科技集团第十四研究所
南京审计大学
武汉大学计算机学院