Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis.

Wenyao Chen, Wei Li, Jingling Xue

Browse the full ECOOP paper archive.