libfuzzer-workshop

"C/C++ 프로젝트의 모던 퍼징" 워크숍의 자료입니다.

이 워크숍의 첫 버전은 ZeroNights'16 보안 컨퍼런스에서 발표되었습니다.

면책 조항

이 워크숍은 원래 2016년에 개발되었습니다. 오늘날(2021년 이후)에는 libFuzzer가 수년간 크게 발전했기 때문에 워크숍의 실습 부분이 바로 작동하지 않을 수 있습니다. 워크숍의 이론 부분은 여전히 좋은 학습 자료이지만, 실습 수업의 경우 libFuzzer tutorial의 가장 최신 버전을 따르는 것이 좋습니다.

요구 사항

• 2-3시간
• Linux 기반 OS
• C/C++ 경험 (특별한 것은 아니지만, C/C++ 코드를 읽고 쓰고 컴파일할 수 있어야 합니다)
• 최신 버전의 clang 컴파일러. 패키지 관리자의 배포판은 너무 오래되어 대부분 작동하지 않을 것입니다(워크숍이 "modern"이라고 불리잖아요?), 두 가지 옵션이 있습니다:
  • llvm 저장소를 체크아웃하여 직접 빌드하세요. 쉽게 하려면 checkout_build_install_llvm.sh 스크립트를 사용해도 됩니다. 이 스크립트는 깨끗한 Ubuntu 16.04에서 테스트되었습니다.
  • 작동 환경이 포함된 VirtualBox VM을 사용할 수 있습니다. 계정 정보: fuzzer:zeronights
• sudo apt-get install -y make autoconf automake libtool pkg-config zlib1g-dev

퍼징 경험은 필요하지 않습니다.

목차

1. 퍼즈 테스팅 소개
2. 전통적인 퍼징의 예
3. 커버리지 가이드 퍼징
4. 퍼저 작성하기 (간단한 예제)
5. Heartbleed 찾기 (CVE-2014-0160)
6. c-ares의 $100,000 버그 찾기 (CVE-2016-5180)
7. 퍼저를 개선하는 방법
8. libxml2 퍼징: 퍼저를 개선하고 성능을 분석하는 방법 배우기
9. libpng 퍼징: 시드 코퍼스의 중요성과 기타 요소 배우기
10. re2 퍼징
11. pcre2 퍼징
12. Chromium 통합 및 과제

대부분의 예제는 libFuzzer tutorial과 Fuzzer Test Suite에서 가져왔습니다.

사전 요구 사항

libFuzzer

libFuzzer 빌드는 매우 쉽습니다:

cd libFuzzer
Fuzzer/build.sh

libFuzzer 저장소는 LLVM의 compiler-rt 프로젝트 안에서 찾을 수 있습니다.

링크

• 모든 슬라이드가 포함된 단일 프레젠테이션: C/C++ 프로젝트의 모던 퍼징
• libFuzzer 문서: http://libfuzzer.info
• libFuzzer 튜토리얼: http://tutorial.libfuzzer.info
• Google Online Security Blog: Chrome 구성 요소의 가이드 인프로세스 퍼징