Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen, Jingling Xue. Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. In 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019. pages 276-287, IEEE, 2019. [doi]
Abstract is missing.