Paper notes: Memory leak detection based on memory state transition graph
Title: Memory leak detection based on memory state transition graph
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