Targeted Symbolic Execution for UAF Vulnerabilities

Zhen Huang. Targeted Symbolic Execution for UAF Vulnerabilities. In 7th International Conference on System Reliability and Safety, ICSRS 2023, Bologna, Italy, November 22-24, 2023. pages 282-289, IEEE, 2023. [doi]

Abstract

Abstract is missing.