Downloads provided by UsageCounts
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. - ecoop27.ova is a VM image containing the tool already installed. Enter 'DSPLNUM2Analyzer' subfolder from the home and follow instructions for using the tool.
Dynamic program families, Decision tree lifted domain, Abstract Interpretation, Static analysis
Dynamic program families, Decision tree lifted domain, Abstract Interpretation, Static analysis
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 4 | |
| downloads | 2 |

Views provided by UsageCounts
Downloads provided by UsageCounts