Lattice based modularization of static analyses-Reference-Cited by-同舟云学术

Lattice based modularization of static analyses

Published:2018-07-16 Issue: Volume: Page:
ISSN:
Container-title:Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
language:
Short-container-title:

Author:

Eichberg M.¹,Kübler F.¹,Helm D.¹,Reif M.¹,Salvaneschi G.¹,Mezini M.¹

Affiliation:

1. Technische Universität Darmstadt, Germany

Publisher

ACM

Link

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

Reference21 articles.

1. S. Arzt S. Rasthofer C. Fritz E. Bodden A. Bartel J. Klein Y. Le Traon D. Octeau and P. McDaniel. 2014. FlowDroid: Precise Context Flow Field Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps (PLDI). 10.1145/2594291.2594299 S. Arzt S. Rasthofer C. Fritz E. Bodden A. Bartel J. Klein Y. Le Traon D. Octeau and P. McDaniel. 2014. FlowDroid: Precise Context Flow Field Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps (PLDI). 10.1145/2594291.2594299

2. M. Bravenboer and Y. Smaragdakis. 2009. Strictly Declarative Specification of Sophisticated Points-to Analyses (OOPSLA). 10.1145/1640089.1640108 M. Bravenboer and Y. Smaragdakis. 2009. Strictly Declarative Specification of Sophisticated Points-to Analyses (OOPSLA). 10.1145/1640089.1640108

3. J.-D. Choi M. Gupta M. Serrano V. C. Sreedhar and S. Midkiff. 1999. Escape Analysis for Java. In OOPSLA. 10.1145/320384.320386 J.-D. Choi M. Gupta M. Serrano V. C. Sreedhar and S. Midkiff. 1999. Escape Analysis for Java. In OOPSLA. 10.1145/320384.320386

4. Abstract interpretation

5. M. Eichberg M. Kahl D. Saha M. Mezini and K. Ostermann. 2007. Automatic Incrementalization of Prolog Based Static Analyses (PADL). 10.1007/978-3-540-69611-7_7 M. Eichberg M. Kahl D. Saha M. Mezini and K. Ostermann. 2007. Automatic Incrementalization of Prolog Based Static Analyses (PADL). 10.1007/978-3-540-69611-7_7

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

1. Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Frankenstein: fast and lightweight call graph generation for software builds;Empirical Software Engineering;2023-11-16

3. CiFi: Versatile Analysis of Class and Field Immutability;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11

4. PyCG: Practical Call Graph Generation in Python;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05

5. Modular collaborative program analysis in OPAL;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07