heaphopper

heaphopper HeapHopper는 힙Heap 구현을 위한 유계 모델 검사bounded model checking 프레임워크입니다. 개요 설정 root@kitploit: sudo apt update && sudo apt install build-essential python3-dev virtualenvwrapper git clone https://github.com/angr/heaphopper.git && cd ./heaphopper mkvirtualenv -ppython3 heaphopper pip install -e...