Published May 25, 2021
| Version 0.1.0
Software
Open
Tool Artifact for 'SPLNUM2Analyzer'
Description
SPLNUM2Analyzer is a lifted analyses tool for SPLs with Boolean and Numerical Features.
This tool is a research prototype static analyzer based on abstract interpretation designed for performing numerical static analysis of #if-enriched C programs with numerical features.
Files
README.txt
Files
(193.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:dc94d0cdad3f57d5d470d2f5dfc16d5f
|
7.9 kB | Preview Download |
|
md5:6f1c0c3c96fe11c2652dbee4e56ab335
|
186.0 kB | Download |