Detecting and Escaping Infinite Loops with Jolt
Abstract elided by the publisher.
Related papers
- Jolt: lightweight dynamic analysis and removal of object churn OOPSLA 2008
- Bolt: on-demand infinite loop escape in unmodified binaries OOPSLA 2012
- A Forward Analysis for Recurrent Sets SAS 2015
- Object Race Detection OOPSLA 2001
- Searching for Ribbon-Shaped Paths in Fair Transition Systems TACAS 2022
- A Type-Based Escape Analysis for Functional Languages JFP 1998
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Static Detection of Loop-Invariant Data Structures ECOOP 2012