Feeds

퍼저를 위한 피드백으로서의 가능 불변량의 사용

Summary

이 문서는 퍼징 기술에서 가능 불변량을 피드백으로 활용하는 방법을 다룹니다. 가능 불변량은 소프트웨어의 특정 속성이 변하지 않음을 보장하는 데 사용됩니다. 이 연구는 퍼저의 효율성을 높이기 위한 새로운 접근 방식을 제안하며, 실험 결과를 통해 그 효과를 입증합니다.

Content

The Use of Likely Invariants as Feedback for Fuzzers - http://www.s3.eurecom.fr/docs/usenixsec21_fioraldi.pdf
Made with SlashPage