Paper notes: Undangle
Title: Undangle: early detection of dangling pointers in use-after-free
and double-free vulnerabilities
Uses TEMU to produce an execution/allocations log which is then parsed offline; for each freed heap object the pointers to it are labeled as dangling; taint propagation-like techniques are used to track pointers.
Original Twitter link: https://twitter.com/_argp/statuses/505011997445193728