angr/heaphopperHeapHopper, Heap-कार्यान्वयनों के लिए एक सीमित मॉडल जाँच प्रारूप (bounded model checking framework) है।
HeapHopper हीप-इम्प्लीमेंटेशन के लिए एक बाउंडेड मॉडल चेकिंग फ्रेमवर्क है।
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 .
build-essential python3-dev virtualenvwrapper
ana angr cle psutil pyelftools pyyaml
# क्रमपरिवर्तन का zoo जनरेट करें
./heaphopper_client.py gen -c analysis.yaml
# इंस्टेंस ट्रेस करें
make -C tests
./heaphopper_client.py trace -c tests/how2heap_fastbin_dup/analysis.yaml -b tests/how2heap_fastbin_dup/fastbin_dup.bin
# PoC जनरेट करें
./heaphopper_client.py poc -c tests/how2heap_fastbin_dup/analysis.yaml -r tests/how2heap_fastbin_dup/fastbin_dup.bin-result.yaml -d tests/how2heap_fastbin_dup/fastbin_dup.bin-desc.yaml -s tests/how2heap_fastbin_dup/fastbin_dup.c -b tests/how2heap_fastbin_dup/fastbin_dup.bin
# टेस्ट
## सोर्स दिखाएँ
cat tests/how2heap_fastbin_dup/fastbin_dup.c
## टेस्ट चलाएँ
tests/test_heaphopper.py
## PoC सोर्स दिखाएँ
cat tests/how2heap_fastbin_dup/pocs/malloc_non_heap/fastbin_dup.bin/poc_0_0.c
## PoC चलाएँ
cd tests
./run_poc.sh tests/how2heap_fastbin_dup/pocs/malloc_non_heap/fastbin_dup.bin/bin/poc_0_0.bin
यह कार्य 27वें USENIX सुरक्षा संगोष्ठी में प्रकाशित किया गया है।
आप पेपर यहाँ पढ़ सकते हैं।
उद्धरण:
@inproceedings {heaphopper,
author = {Eckert, Moritz and Bianchi, Antonio and Wang, Ruoyu and Shoshitaishvili, Yan and Kruegel, Christopher and Vigna, Giovanni},
title = {HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security},
booktitle = {27th {USENIX} Security Symposium ({USENIX} Security 18)},
year = {2018},
address = {Baltimore, MD},
url = {https://www.usenix.org/conference/usenixsecurity18/presentation/eckert},
publisher = {{USENIX} Association},
}