연구 분야: Strategies
학회: International Symposium on Theoretical Aspects of Software Engineering
Heap-based memory vulnerabilities are significant contributors to software security and reliability. The presence of these vulnerabilities is influenced by factors such as code coverage, the frequency of heap operations, and the specific execution order. Current fuzzing solutions aim to efficiently detect these vulnerabilities by utilizing static analysis or incorporating feedback on the sequence of heap operations. However, these solutions have limited practical applicability and do not comprehensively address the temporal and spatial aspects of heap operations. In this paper, we propose a dedicated fuzzing technique called CTXFUZZ to efficiently discover heap-based temporal and spatial memory vulnerabilities without requiring any domain knowledge. CTXFUZZ utilizes context heap operation sequences (the sequences of heap operations such as allocation, deallocation, read, and write that are associated with corresponding heap memory addresses) as a new feedback mechanism to guide the fuzzing process. By doing so, CTXFUZZ can explore more heap states and trigger more heap-based memory vulnerabilities, both temporal and spatial. We evaluate CTXFUZZ on 9 real-world open-source programs and compare their performance with 5 state-of-the-art fuzzers. The results demonstrate that CTXFUZZ outperforms most fuzzers in terms of discovering heap-based memory vulnerabilities. Moreover, Our experiments led to the identification of 10 zero-day vulnerabilities (10 CVEs).
| 발행 연도 | 2024년 |
|---|---|
| 인용수 | 0 |
| 출판 국가 | Andorra, China |
| 사이트 | Springer |
| 좋아요 수 | 0 |