TY - RPRT TI - Static Analysis Framework for Detecting Use-After-Free Bugs in C++ AU - Vlad-Alexandru Teodorescu AU - Dorel Lucanu PY - 2024 DO - 10.4204/eptcs.410.7 UR - https://arxiv.org/abs/2410.23764 ID - 2410.23764 ER -