This artifact contains the implementation of the Static Program Analysis Result Reuse Index (SPARRI), version 1.0.0. It is released as part of our publication "Persisting and Reusing Results of Static Program Analyses on a Large Scale", which was accepted at ASE '23. Furthermore, this artifact also holds the definitions and results of our literature survey on 40 state-of-the-art analysis implementations
In this upload, we describe the installation, usage, and evaluation results of the tool DSPLNUM^2Ana...
Most of the static analyzers are monolithic applications that define their own ways to analyze sourc...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
The use of automatic static analysis has been a software engineering best practice for decades. Howe...
Conference of 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulati...
This is the ICSE 2020 VM artifact archived for the paper "Tailoring Programs for Static Analysis via...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact of paper "ABC: A Developer-Friendly Static Analysis Framework for Java by Harne...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
Dataset used in the paper accepted for publication at the REproducibility Studies and NEgative Resul...
Automatic static analysis (ASA) tools analyze the source or compiled code of a software system looki...
Reuse of static analysis rules study dataset (in Portuguese). Anonymous author for double-blind revi...
In this upload, we describe the installation, usage, and evaluation results of the tool DSPLNUM^2Ana...
Most of the static analyzers are monolithic applications that define their own ways to analyze sourc...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
The use of automatic static analysis has been a software engineering best practice for decades. Howe...
Conference of 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulati...
This is the ICSE 2020 VM artifact archived for the paper "Tailoring Programs for Static Analysis via...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact of paper "ABC: A Developer-Friendly Static Analysis Framework for Java by Harne...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
Dataset used in the paper accepted for publication at the REproducibility Studies and NEgative Resul...
Automatic static analysis (ASA) tools analyze the source or compiled code of a software system looki...
Reuse of static analysis rules study dataset (in Portuguese). Anonymous author for double-blind revi...
In this upload, we describe the installation, usage, and evaluation results of the tool DSPLNUM^2Ana...
Most of the static analyzers are monolithic applications that define their own ways to analyze sourc...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...