Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection.

Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue

Browse the full ACSAC paper archive.