# KLEE를 이용한 심볼릭 실행 퍼징

### Summary

이 문서는 KLEE를 사용한 심볼릭 실행 퍼징에 대해 설명합니다. KLEE는 프로그램의 실행 경로를 탐색하여 버그를 발견하는 데 도움을 주는 도구입니다. 이 방법은 소프트웨어의 안전성을 높이는 데 중요한 역할을 합니다.

- Link - [https://github.com/raminfp/symbolic_execution_fuzzing](https://github.com/raminfp/symbolic_execution_fuzzing)

[GitHub - raminfp/symbolic_execution_fuzzing: symbolic execution fuzzing with KLEE](https://github.com/raminfp/symbolic_execution_fuzzing)

### Content

Symbolic Execution Fuzzing With KLEE - [https://github.com/raminfp/symbolic_execution_fuzzing](https://github.com/raminfp/symbolic_execution_fuzzing)

[GitHub - raminfp/symbolic_execution_fuzzing: symbolic execution fuzzing with KLEE](https://github.com/raminfp/symbolic_execution_fuzzing)

For the site tree, see the [root Markdown](https://slashpage.com/ph4nt0m.md).