KLEE를 이용한 심볼릭 실행 퍼징
카테고리
Empty
Summary
이 문서는 KLEE를 사용한 심볼릭 실행 퍼징에 대해 설명합니다. KLEE는 프로그램의 실행 경로를 탐색하여 버그를 발견하는 데 도움을 주는 도구입니다. 이 방법은 소프트웨어의 안전성을 높이는 데 중요한 역할을 합니다.
Content
Symbolic Execution Fuzzing With KLEE - https://github.com/raminfp/symbolic_execution_fuzzing