Targeted Symbolic Execution for UAF Vulnerabilities | IEEE Conference Publication | IEEE Xplore