Feeds

고속 형식 방법 보조 퍼징

Summary

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

Content

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM - https://blog.regehr.org/archives/2148
Made with SlashPage