C代码API一致性检验中的等值分析

• 作者: 孟策 罗宇翔 贺也平
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 静态分析 API一致性检验 等值分析 指针分析
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2550-2561
• 页数: 12页
• 分类号: TP311
• 字数: 8976字
• 语种: 中文

摘要

在实际中对C代码进行API一致性检验的过程中发现,API(application programming interface)规范大都涉及以数值为论域的时序性质,与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口.在仔细考察C代码变量符号间等值关系的基础上,给出基于值等价类空间的等值分析方法.这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系,而且由于能够屏蔽等值关系以外的其他信息,还可以为后继分析的优化提供有力的支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贺也平	中国科学院软件研究所	46	727	16.0	26.0