Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes-Reference-Cited by-同舟云学术

Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes

Published:2014-05-31 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 36th International Conference on Software Engineering
language:
Short-container-title:

Author:

Arzt Steven¹,Bodden Eric²

Affiliation:

1. TU Darmstadt, Germany

2. TU Darmstadt, Germany / Fraunhofer SIT, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2568225.2568243

Reference24 articles.

1. abc

2. Inter-procedural data-flow analysis with IFDS/IDE and Soot

3. A critical analysis of incremental iterative data flow analysis algorithms

4. Incremental data flow analysis via dominator and attribute update

5. Michael Eichberg Matthias Kahl Diptikalyan Saha Mira Mezini and Klaus Ostermann . Automatic incrementalization of prolog based static analyses. In Michael Hanus editor Practical Aspects of Declarative Languages volume 4354 of LNCS pages 109– 123 . Springer Berlin Heidelberg 2007. 10.1007/978-3-540-69611-7_7 Michael Eichberg Matthias Kahl Diptikalyan Saha Mira Mezini and Klaus Ostermann. Automatic incrementalization of prolog based static analyses. In Michael Hanus editor Practical Aspects of Declarative Languages volume 4354 of LNCS pages 109–123. Springer Berlin Heidelberg 2007. 10.1007/978-3-540-69611-7_7

Cited by 56 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. User-assisted code query customization and optimization;International Journal on Software Tools for Technology Transfer;2024-08-27

2. A Lightweight Polyglot Code Transformation Language;Proceedings of the ACM on Programming Languages;2024-06-20

3. Homeostasis: Design and Implementation of a Self-Stabilizing Compiler;ACM Transactions on Programming Languages and Systems;2024-05

4. LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12