基于域敏感指向分析的区间运算在软件测试中的应用

Keywords: [静态分析, 缺陷检测, 域敏感, 指向分析, 区间运算, static analysis, defect detecting, field-sensitive, point-to analysis, interval arithmetic]

Full-Text   Cite this paper   Add to My Lib

Abstract:

静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取..

Full-Text