heap analytics.
Merge pull request #36 from klee-web/heap

heap analytics.