• 수집한 21개 pairs 중 9개 pairs만 프로토콜을 통과하여 fuzzing target의 reachability 조사 대상이 되었다

  1. c_u 에서 bug-fix가 특정될 수 있는 지 확인한다.
     • 너무 복잡한 fix이거나 refactoring 경우는 인과관계 분석이 어려우므로, 분석에서 제외
  2. f_d 가 resolve 되는 시점에 동시에 사라지는 upstream OSS-Fuzz failure가 없어야 한다.

• 9개 pairs 중 6개를 살펴봤고, 5개 중 2개는 changed functions에 도달 가능성이 있는 것 같다

  • 도달 가능한 것으로 보이는 케이스

    <Gdal OSS-Fuzz failure, PROJ bugfix>

    <Gdal OSS-Fuzz fialure, Curl bugfix>

  • 도달 어려워 보이는 것

    • <Imagemagick OSS-Fuzz failure, Openjpeg bugfix>
    • <Libreoffice OSS-Fuzz failure, Libexpat bugfix>
    • <Gdal OSS-Fuzz failure, Sqlite3 bugfix> (unknown)

2024-12-09

• <Gdal OSS-Fuzz failure, PROJ bugfix> 의 upstream project fuzzing target에서 f_d 를 reproduce 가능한지 파악
  • Suspected buggy line: src/iso19111/metadata.cpp:333 [src]
    • Line 333은 c_u 의 일부이면서 f_d (stack overflow)가 발생하는 함수의 code임
    • f_d 가 발생하는 상황은 자기 자신을 호출할 때 2개 파라미터가 180으로 같은 경우에 발생한다.
      • Suspected buggy line에 영향을 받음. [metadata.cpp:340-341]
  • c_u 에 도달하기 위해 만족해야 하는 branches
    • c_api.cpp:8204, 8210, 8215 [src1], [src2], [src3]
    • coordinateoperationfactory.cpp:3199-3205 [src]
    • coordinateoperationfactory.cpp:3418, 3423, 3432, 3442 [src1], [src2], [src3], [src4]
    • coordinateoperationfactory.cpp:3525 [src]
    • coordinateoperationfactory.cpp:3539-3547 [src]
  • Upstream project의 fuzzing target에서 함수 호출시 사용하는 nullptr로 인해, c_u 에 도달하기 이전에 프로그램이 종료되는 것으로 추정된다. [nullptr로 함수 호출하는 코드]
    • Upstream fuzzing target의 nullptr로 인해 이후 실행되지 않는 코드:
      • [line 1929-1944], [line 1886-1914]