执行路径建模进程化代码分析

林锦滨; 蒋凡

首页> 中文期刊> 《计算机工程》 >执行路径建模进程化代码分析

执行路径建模进程化代码分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对符号执行分析方法路径资源消耗过大的问题,提出执行路径建模进程化的过程内分析优化方法.结合基于惰性初始化的对象建模方法,以Phoenix编译器中间表示层的代码作为直接分析对象,实现一个检测C代码漏洞的工具原型.使用该工具验证了Openssl和Apache软件的已知漏洞代码,并在wget的1.11.4版本中发现一个"拒绝服务"漏洞.

著录项

来源
《计算机工程》 |2010年第9期|68-6972|共3页
作者
林锦滨; 蒋凡;
展开▼
作者单位

中国科学技术大学计算机科学与技术学院;

合肥;

230027;

中国科学技术大学计算机科学与技术学院;

合肥;

230027;

展开▼
原文格式 PDF
正文语种 chi
中图分类数据安全;
关键词
符号执行; 静态分析; C代码; 漏洞检测;

相似文献

中文文献
外文文献
专利

1. 加快机器人产业化进程,倡导产业有序发展——访中国机械工业联合会执行副会长、中国机器人产业联盟执行理事长兼秘书长宋晓刚 [J] . 索菲娅 ,杜春玲 . 金属加工：冷加工 . 2013,第020期
2. 基于可执行路径分析的隐藏进程检测方法 [J] . 韩芳 . 计算机与数字工程 . 2009,第001期
3. 共识才能共赢——领域信息化进程与IT服务商角色定位高峰论坛嘉宾与中国信息化杂志社执行社长王学武对话 [J] . 底洁（报道） . 中国信息化 . 2006,第016期
4. 政策--教师专业化进程的有力保障 --常州市中小学教师专业化相关政策执行情况调查 [J] . 苏渊 . 湖北第二师范学院学报 . 2005,第001期
5. 从数字化建模到数字化体验——访达索系统执行副总裁兼CATIA品牌CEO Etienne DROIT先生 [J] . 胡志强 . 现代零部件 . 2011,第8期
6. 环境保护政策执行专职化——提升环保执行力的体制与机制路径 [C] . 杜倩博 . 全国部分城市综合配套改革理论研讨会 . 2009
7. 旅游城市化进程中的城郊化新农村演化路径研究——以广西桂林鲁家村为例 [A] . 曹冬勤 . 2019

执行路径建模进程化代码分析

摘要

著录项

相似文献

相关主题

期刊订阅