HeapHopper is a bounded model checking framework for Heap-implementation.
HeapHopper Setup
sudo apt update && sudo apt install build-essential python-dev virtualenvwrapper
git clone https://github.com/angr/heaphopper.git && cd ./heaphopper
mkvirtualenv...