Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android.

Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen, Jingling Xue

Browse the full ICST paper archive.