Program Analysis Using Symbolic Ranges
No abstract available.
Related papers
- Scaling symbolic execution using ranged analysis OOPSLA 2012
- Symbolic range analysis of pointers CGO 2016
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic ESOP 2017
- Validation of memory accesses through symbolic analyses OOPSLA 2014
- Symbolic pointer analysis revisited PLDI 2004
- Symbolic finite state transducers: algorithms and applications POPL 2012
- Symbolic Analysis for Parallelizing Compilers TOPLAS 1996
- Compositional Symbolic Execution for the Next 700 Memory Models OOPSLA 2025