Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis.

Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue

Browse the full SAS paper archive.