Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation''
| Main Authors: | Aleksandar Dimovski, Sven Apel |
|---|---|
| Format: | info software Journal |
| Bahasa: | eng |
| Terbitan: |
, 2021
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/4718697 |
Daftar Isi:
- 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.