Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact)

Dimovski, Aleksandar S.; Apel, Sven

doi:10.4230/DARTS.7.2.6

Artifact Description

DARTS.7.2.6.pdf

Filesize: 0.68 MB
6 pages

Document Identifiers

DOI: 10.4230/DARTS.7.2.6
URN: urn:nbn:de:0030-drops-140303

Author Details

Aleksandar S. Dimovski

Mother Teresa University, Skopje, North Macedonia

Sven Apel

Saarland University, Saarland Informatics Campus, 66123 Saarbrücken, Germany

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

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)

0

PDF Downloads

0

Metadata Views

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.