Published April 18, 2021
| Version v1
Software
Open
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]
Files
Files
(175.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6287912b8f2c5266b4ab51bea7a4e6cd
|
175.1 kB | Download |