heaphopper

heaphopper HeapHopper هو إطار عمل للتحقق من النماذج المحدودة 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...