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
A large number of tools that automate the process of finding errors in pro-grams has recently emerge...
Static analysis tools (see the sidebar onpage 7) are very useful for finding bugs. They go far beyon...
AbstractTools based on static analysis can be used to find defects in programs. Tools that do shallo...
In this upload, we describe the installation, usage, and evaluation results of the tool DSPLNUM^2Ana...
In this work, we describe the installation, usage, and evaluation results of the tool FamilySketcher...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
This artifact contains a modified version of the MemCAD static analyzer. It is an experimental tool ...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
Broom is a new static analyzer for C written in OCaml. Broom primarily aims at open programs, i.e., ...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
This artifact contains the implementation of the Static Program Analysis Result Reuse Index (SPARRI)...
This repository contains the evaluation script and the corresponding data of the ISSTA'22 paper "An ...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
A large number of tools that automate the process of finding errors in pro-grams has recently emerge...
Static analysis tools (see the sidebar onpage 7) are very useful for finding bugs. They go far beyon...
AbstractTools based on static analysis can be used to find defects in programs. Tools that do shallo...
In this upload, we describe the installation, usage, and evaluation results of the tool DSPLNUM^2Ana...
In this work, we describe the installation, usage, and evaluation results of the tool FamilySketcher...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
This artifact contains a modified version of the MemCAD static analyzer. It is an experimental tool ...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
Broom is a new static analyzer for C written in OCaml. Broom primarily aims at open programs, i.e., ...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
This artifact contains the implementation of the Static Program Analysis Result Reuse Index (SPARRI)...
This repository contains the evaluation script and the corresponding data of the ISSTA'22 paper "An ...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
A large number of tools that automate the process of finding errors in pro-grams has recently emerge...
Static analysis tools (see the sidebar onpage 7) are very useful for finding bugs. They go far beyon...
AbstractTools based on static analysis can be used to find defects in programs. Tools that do shallo...
DOI
Add to ORKG