Systematic approaches for increasing soundness and precision of static analyzers-Reference-Cited by-同舟云学术

Systematic approaches for increasing soundness and precision of static analyzers

Published:2017-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
language:
Short-container-title:

Author:

Andreasen Esben Sparre¹,Møller Anders¹,Nielsen Benjamin Barslev¹

Affiliation:

1. Aarhus University, Denmark

Funder

European Research Council

Publisher

ACM

Link

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

Reference18 articles.

1. Esben Andreasen and Anders Møller. 2014. Determinacy in static analysis for jQuery. In OOPSLA. 10.1145/2660193.2660214 Esben Andreasen and Anders Møller. 2014. Determinacy in static analysis for jQuery. In OOPSLA. 10.1145/2660193.2660214

2. Eric Bodden Andreas Sewe Jan Sinschek Hela Oueslati and Mira Mezini. 2011. Taming reflection: aiding static analysis in the presence of reflection and custom class loaders. In ICSE. 10.1145/1985793.1985827 Eric Bodden Andreas Sewe Jan Sinschek Hela Oueslati and Mira Mezini. 2011. Taming reflection: aiding static analysis in the presence of reflection and custom class loaders. In ICSE. 10.1145/1985793.1985827

3. Maria Christakis Peter Müller and Valentin Wüstholz. 2015. An experimental evaluation of deliberate unsoundness in a static program analyzer. In VMCAI. 10.1007/978-3-662-46081-8_19 Maria Christakis Peter Müller and Valentin Wüstholz. 2015. An experimental evaluation of deliberate unsoundness in a static program analyzer. In VMCAI. 10.1007/978-3-662-46081-8_19

4. Bruno Dufour Barbara G. Ryder and Gary Sevitsky. 2007. Blended analysis for performance understanding of frameworkbased applications. In ISSTA. 10.1145/1273463.1273480 Bruno Dufour Barbara G. Ryder and Gary Sevitsky. 2007. Blended analysis for performance understanding of frameworkbased applications. In ISSTA. 10.1145/1273463.1273480

5. Asger Feldthaus and Anders Møller. 2014. Checking correctness of TypeScript interfaces for JavaScript libraries. In OOPSLA. 10.1145/2660193.2660215 Asger Feldthaus and Anders Møller. 2014. Checking correctness of TypeScript interfaces for JavaScript libraries. In OOPSLA. 10.1145/2660193.2660215

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

1. Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles;Proceedings of the ACM on Software Engineering;2024-07-12

2. Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

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. A manifesto for applicable formal methods;Software and Systems Modeling;2023-08-18

5. Result Invalidation for Incremental Modular Analyses;Lecture Notes in Computer Science;2023