HeapHopper is a bounded model-checking framework for Heap implementations.Source code and additional information can be found here: https://github.com/angr/heaphopper
