ISCAS OpenIR  > 基础软件国家工程研究中心
C代码API一致性检验中的等值分析
其他题名Value Equality Analysis in C Program API Conformance Validation
孟策; 贺也平; 罗宇翔
2008
发表期刊软件学报
卷号19期号:10页码:2550-2561
摘要在实际中对C代码进行API一致性检验的过程中发现,API(application programming interface)规范大都涉及以数值为论域的时序性质与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口.在仔细考察c代码变量符号间等值关系的基础上,给出基于值等价类空间的等值分析方法.这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系,而且由于能够屏蔽等值关系以外的其他信息,还可以为后继分析的优化提供有力的支持.
收录类别EI
关键词静态分析
语种中文
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/607
专题基础软件国家工程研究中心
推荐引用方式
GB/T 7714
孟策,贺也平,罗宇翔. C代码API一致性检验中的等值分析[J]. 软件学报,2008,19(10):2550-2561.
APA 孟策,贺也平,&罗宇翔.(2008).C代码API一致性检验中的等值分析.软件学报,19(10),2550-2561.
MLA 孟策,et al."C代码API一致性检验中的等值分析".软件学报 19.10(2008):2550-2561.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
孟策per-01.pdf(706KB) 开放获取使用许可请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[孟策]的文章
[贺也平]的文章
[罗宇翔]的文章
百度学术
百度学术中相似的文章
[孟策]的文章
[贺也平]的文章
[罗宇翔]的文章
必应学术
必应学术中相似的文章
[孟策]的文章
[贺也平]的文章
[罗宇翔]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。