# 고속 형식 방법 보조 퍼징

### Summary

이 블로그 포스트에서는 LLVM을 위한 고속 형식 방법 보조 퍼징에 대해 설명합니다. 퍼징은 소프트웨어의 취약점을 찾기 위한 기법으로, 형식 방법을 활용하여 퍼징의 효율성을 높이는 방법을 제시합니다. 이 접근 방식은 LLVM의 특성을 활용하여 더 나은 테스트 결과를 도출하는 데 중점을 둡니다.

- Link - [https://blog.regehr.org/archives/2148](https://blog.regehr.org/archives/2148)

[High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM](https://blog.regehr.org/archives/2148)

### Content

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM - [https://blog.regehr.org/archives/2148](https://blog.regehr.org/archives/2148)

[High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM](https://blog.regehr.org/archives/2148)

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