Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published April 18, 2021 | Version 0.3.0
Software Open

Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation''

  • 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.

Files

README-Script.txt

Files (1.7 GB)

Name Size Download all
md5:6287912b8f2c5266b4ab51bea7a4e6cd
175.1 kB Download
md5:9b7967b7be95ddf100a645830eea1b2b
1.7 GB Download
md5:7d1f5c27f4adc764b84dafed6e6516e9
3.1 kB Preview Download
md5:6c9d18969edabeacd09ac37b4051ead6
3.8 kB Preview Download