| 基于懒替换的C符号执行 |
| |
| 引用本文： | 林梦香,陈胤立,陈睿,周刚.基于懒替换的C符号执行[J].北京航空航天大学学报,2009,35(6):687-691. |
| |
| 作者姓名： | 林梦香 陈胤立 陈睿 周刚 |
| |
| 作者单位： | 北京航空航天大学软件开发环境国家重点实验室,北京,100191;国家数据交换系统工程技术研究中心,郑州,450002 |
| |
| 基金项目： | 国家863计划资助项目(2007AA010301) |
| |
| 摘 要： | 针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.
|
| 关 键 词： | 软件工程 程序调试 工具 |
| 收稿时间： | 2008-05-05 |
Lazy-substitution based symbolic execution for C programs |
| |
| Lin Mengxiang,Chen Yinli,Chen Rui,Zhou Gang.Lazy-substitution based symbolic execution for C programs[J].Journal of Beijing University of Aeronautics and Astronautics,2009,35(6):687-691. |
| |
| Authors: | Lin Mengxiang Chen Yinli Chen Rui Zhou Gang |
| |
| Institution: | 1. State Key Lab. of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing 100191,China;
2. National Digital Switching Engineering and Technological Research Center, Zhengzhou 450002, China |
| |
| Abstract: | Lazy-substitution based symbolic execution was presented in order to address the computed memory location problem in traditional symbolic execution.A form of lazy strategy was introduced into traditional symbolic execution,which substitutes program variables with their symbolic values as much as possible.When the memory locations of variables in a statement can't be determined statically or the length of a symbolic expression for substitution is too long,those variables won't be replaced with their symbolic... |
| |
| Keywords: | software engineering program debugging tools |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
|
