DARTS.7.2.6.pdf
- Filesize: 0.68 MB
- 6 pages
Document
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact)
Authors
Aleksandar S. Dimovski 
,
Sven Apel
-
Part of:
Issue:
Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Volume: DARTS, Volume 7 (ECOOP 2021)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2021-07-06
Artifact Description
Document Identifiers
Author Details
Cite AsGet BibTex
Aleksandar S. Dimovski and Sven Apel. Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 6:1-6:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/DARTS.7.2.6
https://doi.org/10.4230/DARTS.7.2.6
Artifact
DARTS-7-2-6-artifact-9b7967b7be95ddf100a645830eea1b2b.ova
(Filesize: 1.58 GB)
Abstract
In this article, we describe the usage and evaluation results of the tool DSPLNum²Analyzer introduced by the paper "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation". We provide step-by-step instructions on how to download, install, run, and compare the tool’s outputs to outputs described in the paper. DSPLNum²Analyzer is a research prototype lifted static analyzer based on abstract interpretation designed for performing numerical static analysis of dynamic C program families.
Subject Classification
ACM Subject Classification
- Software and its engineering → Software functional properties
- Software and its engineering → Software product lines
- Theory of computation → Abstraction
Keywords
- Dynamic program families
- Static analysis
- Abstract interpretation
- Decision tree lifted domain
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Aleksandar S. Dimovski and Sven Apel. Lifted static analysis of dynamic program families by abstract interpretation. In 35th European Conference on Object-Oriented Programming, ECOOP 2021, volume 194 of LIPIcs, pages 14:1-14:28. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2021. URL: https://doi.org/10.4230/LIPIcs.ECOOP.2021.14.
- Aleksandar S. Dimovski and Sven Apel. Tool artifact for "lifted static analysis of dynamic program families by abstract interpretation". Zenodo, 2021. URL: https://doi.org/10.5281/zenodo.4718697.
- Aleksandar S. Dimovski, Sven Apel, and Axel Legay. A decision tree lifted domain for analyzing program families with numerical features. In Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Proceedings, volume 12649 of LNCS, pages 67-86. Springer, 2021. URL: https://doi.org/10.1007/978-3-030-71500-7_4.
- Bertrand Jeannet and Antoine Miné. Apron: A library of numerical abstract domains for static analysis. In Computer Aided Verification, 21st International Conference, CAV 2009. Proceedings, volume 5643 of LNCS, pages 661-667. Springer, 2009. URL: https://doi.org/10.1007/978-3-642-02658-4_52.