2026-07-26T02:32:22Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:14030 2024-03-06T11:05:11Z ddc:004 open_access

Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact) Dimovski, Aleksandar S. Apel, Sven Dynamic program families Static analysis Abstract interpretation Decision tree lifted domain 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Aleksandar S. Dimovski and Sven Apel 2021 Is Part Of DARTS, Volume 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.7.2.6 urn:nbn:de:0030-drops-140303 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.6 eng https://creativecommons.org/licenses/by/4.0/legalcode