Function Pointer Eliminator for C Programs
Abstract elided by the publisher.
Related papers
- Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis CGO 2025
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction CC 2024
- Eliminating read barriers through procrastination and cleanliness ISMM 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
- Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR CC 2026
- Heap bounds protection with low fat pointers CC 2016