Refining interprocedural change-impact analysis using equivalence relations
Refining interprocedural change-impact analysis using equivalence relations
复制标题
使用等价关系细化过程间变更影响分析
DOI：
10.1145/3092703.3092719
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Partush, Nimrod
中科院分区：
文献类型：
--
作者：
Gyori, Alex;Lahiri, Shuvendu K.;Partush, Nimrod
变更影响分析 (CIA) 的任务是确定受项目变更影响的一组项目元素。精确的 CIA 具有巨大的潜力，可以避免对重构（保留语义）的（部分）更改进行昂贵的测试和代码审查。然而，大多数语句级 CIA 技术都存在不精确性，因为它们没有包含变更的语义。我们根据两个程序版本的跟踪语义来形式化变更影响。我们展示了如何利用等价关系使基于数据流的 CIA 意识到变化语义，从而提高存在语义保留变化的精度。我们提出了一种随时算法，该算法逐步应用成本高昂的等价关系推理来细化受影响的语句集。我们实现了一个原型，并根据开源项目和先前研究使用的基准程序的 322 个现实世界的变化对其进行了评估。评估结果显示，与之前基于数据流的技术相比，受影响语句的数量平均提高了 35%。
Change-impact analysis (CIA) is the task of determining the set of program elements impacted by a program change. Precise CIA has great potential to avoid expensive testing and code reviews for (parts of) changes that are refactorings (semantics-preserving). However most statement-level CIA techniques suffer from imprecision as they do not incorporate the semantics of the change.We formalize change impact in terms of the trace semantics of two program versions. We show how to leverage equivalence relations to make dataflow-based CIA aware of the change semantics, thereby improving precision in the presence of semantics-preserving changes. We propose an anytime algorithm that applies costly equivalence-relation inference incrementally to refine the set of impacted statements. We implemented a prototype and evaluated it on 322 real-world changes from open-source projects and benchmark programs used by prior research. The evaluation results show an average 35% improvement in the number of impacted statements compared to prior dataflow-based techniques.
登录
查看更多内容
影响因子：
2
作者：
Sylvain Firer-Blaess;C. Fuchs
通讯作者：
Sylvain Firer-Blaess;C. Fuchs
使用等价关系的过程间语义变化影响分析
DOI：
--
发表时间：
2016
期刊：
arXiv.org
影响因子：
--
作者：
A. Gyori;Shuvendu K. Lahiri;Nimrod Partush
通讯作者：
Nimrod Partush
超越2-安全性：用于关系程序验证的非对称产品程序
DOI：
10.1007/978-3-642-35722-0_3
发表时间：
2013
期刊：
The Lancet
影响因子：
--
作者：
G. Barthe;Juan Manuel Crespo;César Kunz
通讯作者：
César Kunz
DOI：
10.1007/978-3-642-38856-9_14
发表时间：
2013
期刊：
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Nimrod Partush;Eran Yahav
通讯作者：
Eran Yahav
使用自动定理证明器对程序进行模块化比较
DOI：
--
发表时间：
2013
期刊：
CADE
影响因子：
--
作者：
C. Hawblitzel;Ming Kawaguchi;Shuvendu K. Lahiri;Henrique Rebêlo
通讯作者：
Henrique Rebêlo