Feeds

퍼징 심볼릭 표현 (Fuzzolic)

Summary

이 논문은 퍼징 심볼릭 표현(Fuzzolic)에 대해 다루고 있습니다. 퍼징 기법을 사용하여 프로그램의 입력을 자동으로 생성하고, 이를 통해 프로그램의 취약점을 탐지하는 방법을 제안합니다. 이 연구는 기존의 퍼징 기법과 비교하여 더 효율적인 접근 방식을 제시하며, 다양한 테스트 사례를 통해 그 효과를 입증합니다.

Content

Fuzzing Symbolic Expressions (Fuzzolic) - https://arxiv.org/pdf/2102.06580.pdf