Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation''
Creators
- 1. Mother Teresa University, Skopje, North Macedonia
- 2. Saarland University, Saarbrücken, Germany
Description
In this upload, we describe the installation, usage, and evaluation results of the tool DSPLNUM^2Analyzer, 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^2Analyzer is a research prototype lifted static analyzer based on abstract interpretation designed for performing numerical static analysis of dynamic C program families.
The reported results are obtained on the machine
[Intel Core TM i7-8700 CPU@3.20GHz x 12, 8 GB Memory, 64-bit Ubuntu 18.04.5 LTS]
- DSPLNUM2Analyzer.tar.gz contains the tool and instructions how to install and use it. To install it using a single script see README-Script.txt. To install it using step-by-step written commands see README-StepByStep.txt
- ecoop27.ova is a VM image containing the tool already installed. Username: ecoop27, Password: ecoop27. Enter 'DSPLNUM2Analyzer' subfolder from the 'home' folder and follow instructions for using the tool.