Joogie: Infeasible Code Detection for Java
Abstract elided by the publisher.
Related papers
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement SAS 2008
- Type qualifiers as composable language extensions GPCE 2017
- Type-based race detection for Java PLDI 2000
- Multicore acceleration of priority-based schedulers for concurrency bug detection PLDI 2012
- Types for safe locking: Static race detection for Java TOPLAS 2006
- Java Bytecode Normalization for Code Similarity Analysis ECOOP 2024
- JavaDL: automatically incrementalizing Java bug pattern detection OOPSLA 2021
- Variability Abstractions: Trading Precision for Speed in Family-Based Analyses ECOOP 2015