Paper notes: Memory leak detection based on memory state transition graph

Title: Memory leak detection based on memory state transition graph
PDF: 9d850ea1ce88e3705bd40b56164a6f40.pdf

Memory state transition graph (MSTG) nodes model heap objects’ states; edges are annotated with path conditions (via symbolic execution); used for function summaries and the leak detection algorithm.

Implementation (just binaries, no source code) available at: http://lcs.ios.ac.cn/~xuzb/melton.html

Relevant Twitter link: https://twitter.com/_argp/statuses/490102227819053056