Static Analysis Framework for Detecting Use-After-Free Bugs in C++. - Vlad-Alexandru Teodorescu; Dorel Lucanu (FROM, 2024)