Institutional Repository
| C代码API一致性检验中的等值分析 | |
| Alternative Title | Value Equality Analysis in C Program API Conformance Validation |
| 孟策; 贺也平; 罗宇翔 | |
| 2008 | |
| Source | 软件学报
![]() |
| Volume | 19Issue:10Pages:2550-2561 |
| English Abstract | 在实际中对C代码进行API一致性检验的过程中发现,API(application programming interface)规范大都涉及以数值为论域的时序性质与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口.在仔细考察c代码变量符号间等值关系的基础上,给出基于值等价类空间的等值分析方法.这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系,而且由于能够屏蔽等值关系以外的其他信息,还可以为后继分析的优化提供有力的支持. |
| Indexed Type | EI |
| Keyword | 静态分析 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/607 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 孟策per-01.pdf(706KB) | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment