Static Analysis of Accessed Regions in Recursive Data Structures
No abstract available.
Related papers
- Identification of logically related heap regions ISMM 2009
- Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting PLDI 1994
- Region-Based Data Layout via Data Reuse Analysis CC 2024
- IFRit: interference-free regions for dynamic data-race detection OOPSLA 2012
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions PLDI 2000
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions TOPLAS 2005
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- Interprocedural query extraction for transparent persistence OOPSLA 2008