Download
http://www.kitploit.com/2018/10/heaphopper-bounded-model-checking.html
HeapHopper - A Bounded Model Checking Framework For Heap-implementations
Share