Document Open Access Logo

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

Authors Aleksandar S. Dimovski , Sven Apel



PDF
Thumbnail PDF

Artifact Description

DARTS.7.2.6.pdf
  • Filesize: 0.68 MB
  • 6 pages

Document Identifiers

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

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

References

  1. 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.
  2. 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.
  3. 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.
  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.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail