Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs-Reference-Cited by-同舟云学术

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs

Published:2019-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Reif Michael¹,Kübler Florian¹,Eichberg Michael¹,Helm Dominik¹,Mezini Mira¹

Affiliation:

1. TU Darmstadt, Germany

Publisher

ACM

Link

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

Reference45 articles.

1. {Online; accessed 20-January-2019}. Doop’s commit id: cdc59ce71d6510198da396cf6a7d20d73c6466d9. {Online; accessed 20-January-2019}. Doop’s commit id: cdc59ce71d6510198da396cf6a7d20d73c6466d9.

2. {Online; accessed 20-January-2019}. OPAL’s commit id: 3107c45c8a00de0e132691a6275d39b5a4aa415b. {Online; accessed 20-January-2019}. OPAL’s commit id: 3107c45c8a00de0e132691a6275d39b5a4aa415b.

3. Application-Only Call Graph Construction

4. Averroes: Whole-Program Analysis without the Whole Program

5. Constructing Call Graphs of Scala Programs

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

1. Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Call Graph Soundness in Android Static Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Total Recall? How Good Are Static Call Graphs Really?;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

4. 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

5. DyPyBench: A Benchmark of Executable Python Software;Proceedings of the ACM on Software Engineering;2024-07-12