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

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]

Authors

Diyu Wu

This author has not been identified. Look up 'Diyu Wu' in Google

Jie Liu

This author has not been identified. Look up 'Jie Liu' in Google

Yulei Sui

This author has not been identified. Look up 'Yulei Sui' in Google

Shiping Chen

This author has not been identified. Look up 'Shiping Chen' in Google

Jingling Xue

This author has not been identified. It may be one of the following persons: Look up 'Jingling Xue' in Google