커버리지 유도 퍼즈 테스트

#### 파이프라인에서 코퍼스 생성

코퍼스를 파이프라인에서 생성하려면:

1. `.gitlab-ci.yml` 파일에서 `my_fuzz_target` 작업을 편집합니다.
2. 다음 변수를 설정합니다:
   - `COVFUZZ_USE_REGISTRY`를 `true`로 설정합니다.
   - `COVFUZZ_CORPUS_NAME`을 코퍼스의 이름으로 설정합니다.
   - `COVFUZZ_GITLAB_TOKEN`을 개인 액세스 토큰의 값으로 설정합니다.

`my_fuzz_target` 작업이 실행되면, 코퍼스는 코퍼스 레지스트리에 저장되며, `COVFUZZ_CORPUS_NAME` 변수에서 제공된 이름으로 저장됩니다. 코퍼스는 모든 파이프라인 실행 시 업데이트됩니다.

#### 코퍼스 파일 업로드

기존 코퍼스 파일을 업로드하려면:

1. 왼쪽 사이드바에서 **검색 또는 이동하여**를 선택하고 프로젝트를 찾습니다.
2. **Secure > Security configuration**을 선택합니다.
3. **Coverage Fuzzing** 섹션에서 **Manage corpus**를 선택합니다.
4. **New corpus**를 선택합니다.
5. 필드를 완성합니다.
6. **Upload file**을 선택합니다.
7. **Add**을 선택합니다.

이제 `.gitlab-ci.yml` 파일에서 코퍼스를 참조할 수 있습니다. 업로드된 코퍼스 파일의 이름과 정확히 일치하는지 확인하세요.

### 코퍼스 레지스트리에 저장된 코퍼스 사용

코퍼스 레지스트리에 저장된 코퍼스를 사용하려면 해당 이름으로 참조해야 합니다. 관련 코퍼스의 이름을 확인하려면 코퍼스 레지스트리의 세부 정보를 확인해야 합니다.

전제 조건:

- 프로젝트에서 [Coverage-guided Fuzz 테스트를 활성화](#enable-coverage-guided-fuzz-testing)합니다.

1. `.gitlab-ci.yml` 파일에서 다음 변수를 설정합니다:
   - `COVFUZZ_USE_REGISTRY`를 `true`로 설정합니다.
   - `COVFUZZ_CORPUS_NAME`을 코퍼스의 이름으로 설정합니다.
   - `COVFUZZ_GITLAB_TOKEN`을 개인 액세스 토큰의 값으로 설정합니다.

## Coverage-guided Fuzz 테스트 보고서

> - [GitLab 13.3에서 도입](https://gitlab.com/gitlab-org/gitlab/-/issues/220062)되었으며 [실험](../../../policy/experiment-beta-support.md#experiment)으로 분류됩니다.

`gl-coverage-fuzzing-report.json` 파일의 형식에 대한 자세한 정보는 [스키마](https://gitlab.com/gitlab-org/security-products/security-report-schemas/-/blob/master/dist/coverage-fuzzing-report-format.json)를 읽어보세요.

커버리지 가이드 퍼징 보고서의 예시:

```json-doc
{
  "version": "v1.0.8",
  "regression": false,
  "exit_code": -1,
  "vulnerabilities": [
    {
      "category": "coverage_fuzzing",
      "message": "Heap-buffer-overflow\nREAD 1",
      "description": "Heap-buffer-overflow\nREAD 1",
      "severity": "Critical",
      "stacktrace_snippet": "INFO: Seed: 3415817494\nINFO: Loaded 1 modules   (7 inline 8-bit counters): 7 [0x10eee2470, 0x10eee2477), \nINFO: Loaded 1 PC tables (7 PCs): 7 [0x10eee2478,0x10eee24e8), \nINFO:        5 files found in corpus\nINFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes\nINFO: seed corpus: files: 5 min: 1b max: 4b total: 14b rss: 26Mb\n#6\tINITED cov: 7 ft: 7 corp: 5/14b exec/s: 0 rss: 26Mb\n=================================================================\n==43405==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x602000001573 at pc 0x00010eea205a bp 0x7ffee0d5e090 sp 0x7ffee0d5e088\nREAD of size 1 at 0x602000001573 thread T0\n    #0 0x10eea2059 in FuzzMe(unsigned char const*, unsigned long) fuzz_me.cc:9\n    #1 0x10eea20ba in LLVMFuzzerTestOneInput fuzz_me.cc:13\n    #2 0x10eebe020 in fuzzer::Fuzzer::ExecuteCallback(unsigned char const*, unsigned long) FuzzerLoop.cpp:556\n    #3 0x10eebd765 in fuzzer::Fuzzer::RunOne(unsigned char const*, unsigned long, bool, fuzzer::InputInfo*, bool*) FuzzerLoop.cpp:470\n    #4 0x10eebf966 in fuzzer::Fuzzer::MutateAndTestOne() FuzzerLoop.cpp:698\n    #5 0x10eec0665 in fuzzer::Fuzzer::Loop(std::__1::vector\u003cfuzzer::SizedFile, fuzzer::fuzzer_allocator\u003cfuzzer::SizedFile\u003e \u003e\u0026) FuzzerLoop.cpp:830\n    #6 0x10eead0cd in fuzzer::FuzzerDriver(int*, char***, int (*)(unsigned char const*, unsigned long)) FuzzerDriver.cpp:829\n    #7 0x10eedaf82 in main FuzzerMain.cpp:19\n    #8 0x7fff684fecc8 in start+0x0 (libdyld.dylib:x86_64+0x1acc8)\n\n0x602000001573 is located 0 bytes to the right of 3-byte region [0x602000001570,0x602000001573)\nallocated by thread T0 here:\n    #0 0x10ef92cfd in wrap__Znam+0x7d (libclang_rt.asan_osx_dynamic.dylib:x86_64+0x50cfd)\n    #1 0x10eebdf31 in fuzzer::Fuzzer::ExecuteCallback(unsigned char const*, unsigned long) FuzzerLoop.cpp:541\n    #2 0x10eebd765 in fuzzer::Fuzzer::RunOne(unsigned char const*, unsigned long, bool, fuzzer::InputInfo*, bool*) FuzzerLoop.cpp:470\n    #3 0x10eebf966 in fuzzer::Fuzzer::MutateAndTestOne() FuzzerLoop.cpp:698\n    #4 0x10eec0665 in fuzzer::Fuzzer::Loop(std::__1::vector\u003cfuzzer::SizedFile, fuzzer::fuzzer_allocator\u003cfuzzer::SizedFile\u003e \u003e\u0026) FuzzerLoop.cpp:830\n    #5 0x10eead0cd in fuzzer::FuzzerDriver(int*, char***, int (*)(unsigned char const*, unsigned long)) FuzzerDriver.cpp:829\n    #6 0x10eedaf82 in main FuzzerMain.cpp:19\n    #7 0x7fff684fecc8 in start+0x0 (libdyld.dylib:x86_64+0x1acc8)\n\nSUMMARY: AddressSanitizer: heap-buffer-overflow fuzz_me.cc:9 in FuzzMe(unsigned char const*, unsigned long)\nShadow bytes around the buggy address:\n  0x1c0400000250: fa fa fd fa fa fa fd fa fa fa fd fa fa fa fd fa\n  0x1c0400000260: fa fa fd fa fa fa fd fa fa fa fd fa fa fa fd fa\n  0x1c0400000270: fa fa fd fa fa fa fd fa fa fa fd fa fa fa fd fa\n  0x1c0400000280: fa fa fd fa fa fa fd fa fa fa fd fa fa fa fd fa\n  0x1c0400000290: fa fa fd fa fa fa fd fa fa fa fd fa fa fa fd fa\n=\u003e0x1c04000002a0: fa fa fd fa fa fa fd fa fa fa fd fa fa fa[03]fa\n  0x1c04000002b0: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa\n  0x1c04000002c0: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa\n  0x1c04000002d0: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa\n  0x1c04000002e0: fa fa fa fa

## 커버리지 지도된 퍼즈 테스트 기간

커버리지 지도된 퍼즈 테스트의 가능한 기간은 다음과 같습니다.

- 10분간의 기간 (기본값): 기본 브랜치에 권장됩니다.
- 60분간의 기간: 개발 브랜치 및 Merge Request에 권장됩니다. 보다 긴 기간은 더 많은 커버리지를 제공합니다.
  `COVFUZZ_ADDITIONAL_ARGS` 변수에 `--regression=true` 값을 설정하십시오.

커버리지 지속적인 지도된 퍼즈 테스트

또한 주된 파이프라인을 차단하지 않고 커버리지 지도된 퍼즈 테스트 작업을 길게 실행하는 것이 가능합니다. 이 구성은 GitLab의 [상위-하위 파이프라인](../../../ci/pipelines/downstream_pipelines.md#parent-child-pipelines)을 사용합니다.

이 시나리오에서 제안되는 워크플로우는 주로 커밋 파이프라인을 빠르게 완료하는 것과 동시에 퍼저가 앱을 완전히 탐색하고 테스트할 수 있는 많은 시간을 제공하는 것입니다. 커버리지 지도된 퍼저가 코드베이스에서 더 깊은 버그를 찾기 위해 일반적으로 장기간 실행되는 퍼징 작업이 필요합니다.

다음은 이 워크플로우에 대한 `.gitlab-ci.yml` 파일에서의 추출입니다. 전체 예제는 [Go 퍼징 예제 리포지터리](https://gitlab.com/gitlab-org/security-products/demos/coverage-fuzzing/go-fuzzing-example/-/tree/continuous_fuzzing)를 참조하십시오.

```yaml
sync_fuzzing:
  variables:
    COVFUZZ_ADDITIONAL_ARGS: '-max_total_time=300'
  trigger:
    include: .covfuzz-ci.yml
    strategy: depend
  rules:
    - if: $CI_COMMIT_BRANCH != 'continuous_fuzzing' && $CI_PIPELINE_SOURCE != 'merge_request_event'

async_fuzzing:
  variables:
    COVFUZZ_ADDITIONAL_ARGS: '-max_total_time=3600'
  trigger:
    include: .covfuzz-ci.yml
  rules:
    - if: $CI_COMMIT_BRANCH == 'continuous_fuzzing' && $CI_PIPELINE_SOURCE != 'merge_request_event'