收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种基于约束的指针程序路径选择方法

郭曦  张焕国  
【摘要】:动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 孙年芳;;优化法求解几何约束[J];吉林省教育学院学报;2009年06期
2 平雪良,朱广平,周来水;一种新的参数化设计方法[J];东南大学学报(自然科学版);1997年05期
3 季晓慧;张健;;约束问题求解[J];自动化学报;2007年02期
4 赵奇永;郑燕飞;郑东;;基于可执行代码的缓冲区溢出检测模型[J];计算机工程;2008年12期
5 姜英新,孙吉贵;约束满足问题求解及ILOG SOLVER系统简介[J];吉林大学学报(理学版);2002年01期
6 王征,孙明鹏,戴国忠,邢双秋;虚拟家居设计系统中基于约束的三维布局[J];计算机工程与应用;2005年30期
7 唐菀!计算机科学系,陆际光!计算机科学系;3种CAD变量化设计方法的比较[J];中南民族学院学报(自然科学版);2000年02期
8 申闫春,刘方鑫,刘厚泉;基于图形数据库的变量化设计方法[J];计算机工程与应用;2000年03期
9 刘勇;雍俊海;王斌;;一类闭环约束的装配约束问题求解[J];计算机辅助设计与图形学学报;2008年09期
10 李文辉,穆宝良,郝鑫;基于自由度分析几何约束求解方法中过约束和欠约束的处理[J];吉林大学学报(理学版);2003年01期
11 单锦辉,王戟,齐治昌;面向路径的测试数据自动生成方法述评[J];电子学报;2004年01期
12 刘捷;郭连水;林学峰;;草图与特征双向关联方法的研究及实现[J];机械工程师;2010年03期
13 孙立镌;金瑛浩;;基于充分性原理的特征交互检测策略[J];计算机科学;2010年08期
14 李祥,袁国华,周雄辉,阮雪榆;基于动约束求解的协同设计研究[J];机械科学与技术;2000年06期
15 彭享;郭连水;;自由度描述与装配约束图求解方法的研究[J];机械工程师;2007年12期
16 石海波;;分层参数化设计方法及其在产品快速设计系统中的应用[J];制造业自动化;2010年10期
17 吴永明,冯培恩,潘双夏,陈定方;一个支持top-down设计的产品建模系统[J];计算机辅助设计与图形学学报;1999年01期
18 吴涛,孙卫红;基于图论的几何约束系统的求解策略研究[J];机电产品开发与创新;2002年06期
19 何伟,唐敏,董金祥,何志均;一种基于图分解的几何约束求解方法[J];中国图象图形学报;2003年08期
20 杨润党;武殿梁;范秀敏;严隽琪;;基于约束的虚拟装配运动导航技术[J];农业机械学报;2006年03期
中国重要会议论文全文数据库 前9条
1 李文辉;李立刚;庞云阶;;基于权图的约束求解新算法[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展(上册)[C];2001年
2 梁磊;郭阳;李暾;朱丹;;微处理器体系结构级功能验证程序自动生成技术研究[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
3 张翀;杨世瀚;;基于自由度分析的装配体约束求解[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
4 刘勇;雍俊海;王斌;;一类闭环约束的装配约束问题求解[A];中国计算机图形学进展2008--第七届中国计算机图形学大会论文集[C];2008年
5 王浩;王漫;候整风;;演绎对象语言中的约束表示与求解[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
6 武汇岳;滕东兴;马翠霞;戴国忠;;基于草图的工艺图板设计系统的研究与实现[A];第二届和谐人机环境联合学术会议(HHME2006)——第2届中国人机交互学术会议(CHCI'06)论文集[C];2006年
7 张永刚;孙吉贵;;有穷论域约束逻辑程序设计及其应用[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
8 吴子敬;宫云战;郭毅军;;基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用[A];第五届中国测试学术会议论文集[C];2008年
9 郭阳;李暾;李思昆;朱丹;梁磊;;RTL模拟矢量自动生成技术研究[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 刘生礼;约束求解中若干关键技术的研究[D];浙江大学;2003年
2 欧阳应秀;基于CSCW的CAD系统关键技术研究[D];浙江大学;2004年
3 戴春来;参数化设计理论的研究[D];南京航空航天大学;2002年
4 董洪伟;基于标识的特征造型原型系统的研究与实现[D];南京航空航天大学;2001年
5 张永刚;约束程序语义与系统实现研究[D];吉林大学;2005年
6 陈永府;基于三维几何模型的计算机辅助工艺规划技术[D];华中科技大学;2006年
7 刘刚;资源信息系统中参数化图形设计方法研究[D];中国地质大学;2004年
8 高雪瑶;语义特征造型的与历程无关技术的研究[D];哈尔滨理工大学;2009年
9 孟祥旭;参数化设计模型的研究与实现[D];中国科学院研究生院(计算技术研究所);1998年
10 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
中国硕士学位论文全文数据库 前10条
1 孙年芳;基于遗传模拟退火算法的约束求解研究[D];湖南大学;2010年
2 吴明权;基于交互式特征造型的约束求解研究[D];哈尔滨理工大学;2010年
3 王晓枫;语义特征造型的自动调整策略及约束求解机制的研究[D];哈尔滨理工大学;2004年
4 廖常俊;基于I-DEAS的数字化工厂研究与应用[D];电子科技大学;2005年
5 徐辰;基于符号执行和约束求解的程序验证与测试工具[D];中国科学院研究生院(软件研究所);2002年
6 陈春丽;基于特征造型的自由曲面特征及约束求解的研究[D];哈尔滨理工大学;2005年
7 王征;虚拟家居系统中约束求解的研究和实现[D];湖南大学;2005年
8 张磊石;语义特征造型及约束求解的研究[D];哈尔滨理工大学;2010年
9 刘卫;自由曲面特征的约束求解及其有效性维护的研究[D];哈尔滨理工大学;2010年
10 赖思佳;基于约束求解的测试用例生成器的研究与设计[D];北京邮电大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978