detecting-use-after-free

Detects use-after-free vulnerabilities by identifying pointer dereferences that occur after memory has been deallocated. Use this when analyzing memory management and cleanup code or investigating dangling-pointer issues.