HeapHopper – A Bounded Model Checking Framework For Heap-implementations
HeapHopper is a bounded model checking framework for Heap-implementations. Setup sudo apt update && sudo apt install build-essential python-dev virtualenvwrapper git clone https://github.com/angr/heaphopper.git && cd ./heaphopper mkvirtualenv -ppython2 heaphopper pip install -e . Required Packages build-essential python-dev virtualenvwrapper Required Python-Packages ana angr cle claripy IPython psutil pyelftools pyyaml Examples # Gen zoo of permutations heaphopper.py […]