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 49 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability;Proceedings of the ACM on Programming Languages;2024-01-05

2. diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions;iFM 2023;2023-11-06

3. Change Pattern Detection for Optimising Incremental Static Analysis;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02

4. Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

5. Persisting and Reusing Results of Static Program Analyses on a Large Scale;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11