We present property probes, a mechanism for helping a developer interactively explore
partial program analysis results in terms of the source program, and as the program is …

Static checker frameworks support software developers by automatically discovering bugs
that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for …

Software corpora are crucial for evaluating research artifacts and ensuring repeatability of
outcomes. Corpora such as DaCapo and Defects4J provide a collection of real-world open …

Declarative approaches to program analysis promise a number of practical advantages over
imperative approaches, from eliminating manual worklist management to increasing …

We present property probes, a mechanism for helping a developer explore partial program
analysis results in terms of the source program interactively while the program is edited. A …

The impacts of leveraging intermediate language representations outside of the standard
compilation process is an area of interest. This work contributes the following: gathering a …

Static program analysis plays a crucial role in ensuring the quality and security of software
applications by detecting bugs and potential vulnerabilities in the code. Traditionally, these …

Abstract (EN) Adaptation enables a reaction to a changing environment. For traditional
software development, that means changing the design and implementation of the software …

Static program analysis plays a crucial role in ensuring the quality and security of software
applications by detecting and fixing bugs, and potential security vulnerabilities in the code …

We present property probes, a mechanism for helping a developer interactively explore
partial program analysis results in terms of the source program, and as the program is …