10.3969/j.issn.1000-3428.2010.22.024
基于抽象解释的可执行代码值范围分析
阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术.通过抽象解释静态逼近程序不动点语义的理论保证二进制代码数据流分析的正确性以及可计算性.基于抽象解释和单调数据流框架提出一种自动分析可执行代码变量取值范围的方法及自动获取程序循环最大迭代次数和不可执行路径,并给出数据流分析实例.
抽象解释、值范围分析、数据流分析、运行时刻环境
36
TP311(计算技术、计算机技术)
国家"863 计划"基金资助项目2007AA01Z483;河南省高新领域重点攻关基金资助项目082102210011
2011-01-28(万方平台首次上网日期,不代表论文的发表时间)
共4页
69-71,74