Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue. Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection. In Proceedings of the 33rd Annual Computer Security Applications Conference, Orlando, FL, USA, December 4-8, 2017. pages 42-54, ACM, 2017. [doi]
Abstract is missing.