A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract elided by the publisher.
Related papers
- Precise and efficient static array bound checking for large embedded C programs PLDI 2004
- Nonuniform Alias Analysis of Recursive Data Structures and Arrays SAS 2002
- Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates ECOOP 2012
- Estimating the Impact of Scalable Pointer Analysis on Optimization SAS 2001
- SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA APLAS 2011
- FLASH: Foresighted Latency-Aware Scheduling Heuristic for Processors with Customized Datapaths CGO 2004
- BinPointer: towards precise, sound, and scalable binary-level pointer analysis CC 2022
- Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code CGO 2010