A Reachability Predicate for Analyzing Low-Level Software
Abstract elided by the publisher.
Related papers
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software CAV 2007
- Integrating Low Level Symmetries into Reachability Analysis TACAS 2000
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
- SMT-Boosted Security Types for Low-Level MPC ESOP 2025
- Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory PLDI 2009
- Polymorphic predicate abstraction TOPLAS 2005
- SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges CGO 2025
- Inductive Predicate Synthesis Modulo Programs ECOOP 2024