This is the artifact of paper "ABC: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics"
The application field of static analysis techniques for objectoriented programming is getting broade...
This paper presents a front-end for Java, called Barat, that supports static analysis of Java progra...
The behavior of software using the Java Reflection API is fundamentally hard to predict by analyzing...
This is the artifact of paper "Tai-e: A Developer-Friendly Static Analysis Framework for Java by Har...
This artifact contains the evaluation benchmarks for the paper "Static Analysis of Java Enterprise A...
Programming languages are ever evolving, with new languages being invented to solve new problems, an...
Paper Abstract Abstract interpretation is a methodology for defining sound static analyses. Yet, bu...
Abstract interpretation [10] has served as a primary framework for the formalderivation of static an...
The use of automatic static analysis has been a software engineering best practice for decades. Howe...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact package of the ICST 2023 paper Model Generation For Java Frameworks by Linghui...
This artifact consists of the analyzer Põder together with example programs (to be analyzed) from th...
This is the ICSE 2020 VM artifact archived for the paper "Tailoring Programs for Static Analysis via...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
The application field for static analysis of Java programs is getting broader, ranging from compiler...
The application field of static analysis techniques for objectoriented programming is getting broade...
This paper presents a front-end for Java, called Barat, that supports static analysis of Java progra...
The behavior of software using the Java Reflection API is fundamentally hard to predict by analyzing...
This is the artifact of paper "Tai-e: A Developer-Friendly Static Analysis Framework for Java by Har...
This artifact contains the evaluation benchmarks for the paper "Static Analysis of Java Enterprise A...
Programming languages are ever evolving, with new languages being invented to solve new problems, an...
Paper Abstract Abstract interpretation is a methodology for defining sound static analyses. Yet, bu...
Abstract interpretation [10] has served as a primary framework for the formalderivation of static an...
The use of automatic static analysis has been a software engineering best practice for decades. Howe...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact package of the ICST 2023 paper Model Generation For Java Frameworks by Linghui...
This artifact consists of the analyzer Põder together with example programs (to be analyzed) from th...
This is the ICSE 2020 VM artifact archived for the paper "Tailoring Programs for Static Analysis via...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
The application field for static analysis of Java programs is getting broader, ranging from compiler...
The application field of static analysis techniques for objectoriented programming is getting broade...
This paper presents a front-end for Java, called Barat, that supports static analysis of Java progra...
The behavior of software using the Java Reflection API is fundamentally hard to predict by analyzing...
DOI
Add to ORKG