Feeds

퍼징과 심볼릭 실행의 결합

Summary

이 비디오는 SymCC와 AFL을 사용하여 퍼징과 심볼릭 실행의 결합을 시연합니다. 퍼징은 소프트웨어의 취약점을 찾기 위한 테스트 기법이며, 심볼릭 실행은 프로그램의 동작을 수학적으로 분석하는 방법입니다. 이 두 기술의 결합은 더욱 효과적인 소프트웨어 테스트를 가능하게 합니다.

Content

Fuzzing combined with symbolic execution: a demonstration on SymCC and AFL - https://www.youtube.com/watch?v=zmC-ptp3W3k