This artifact contains Jaint, a framework for multi-color taint analyses in Java
This is the artifact of Qilin, a New Framework for Supporting Fine-Grained Context-Sensitivity in J...
Artifact for the ECOOP 2022 Paper: A Deterministic Memory Allocator for Dynamic Symbolic Executio
This is the companion artifact for the *Propositions-as-Types and Shared State* (submission #97). T...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
This is the artifact of paper "Tai-e: A Developer-Friendly Static Analysis Framework for Java by Har...
This is the artifact, we used for winning the third price in the Java track of SV-COMP 2020
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This is the artifact of paper "ABC: A Developer-Friendly Static Analysis Framework for Java by Harne...
The accepted artifact for the journal article "Profiling and Optimizing Java Streams" published in V...
This is the artifact for the paper "Identifying Java Calls in Native Code via Binary Scanning" (ISST...
JVBench is the first open-source benchmark suite for the Java Vector API. It includes several realis...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
This paper introduces the artifact for the paper ``Usability-Oriented Design of Liquid Types for Jav...
This artifact consists of the analyzer Põder together with example programs (to be analyzed) from th...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact of Qilin, a New Framework for Supporting Fine-Grained Context-Sensitivity in J...
Artifact for the ECOOP 2022 Paper: A Deterministic Memory Allocator for Dynamic Symbolic Executio
This is the companion artifact for the *Propositions-as-Types and Shared State* (submission #97). T...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
This is the artifact of paper "Tai-e: A Developer-Friendly Static Analysis Framework for Java by Har...
This is the artifact, we used for winning the third price in the Java track of SV-COMP 2020
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This is the artifact of paper "ABC: A Developer-Friendly Static Analysis Framework for Java by Harne...
The accepted artifact for the journal article "Profiling and Optimizing Java Streams" published in V...
This is the artifact for the paper "Identifying Java Calls in Native Code via Binary Scanning" (ISST...
JVBench is the first open-source benchmark suite for the Java Vector API. It includes several realis...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
This paper introduces the artifact for the paper ``Usability-Oriented Design of Liquid Types for Jav...
This artifact consists of the analyzer Põder together with example programs (to be analyzed) from th...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact of Qilin, a New Framework for Supporting Fine-Grained Context-Sensitivity in J...
Artifact for the ECOOP 2022 Paper: A Deterministic Memory Allocator for Dynamic Symbolic Executio
This is the companion artifact for the *Propositions-as-Types and Shared State* (submission #97). T...
DOI
Add to ORKG