stack overflow in JIT
オープン
まだ誰も着手していません。
Bug
Category: JIT
Status: Verified
- 主要言語
- C
- スター
- 40.4k
- フォーク
- 8.2k
- 平均マージ
- 2日 13時間
- マージ済み PR(30日)
- 96
説明
Description
The following code:
<?php
class N { public $n; }
$o=null;
for($i=0;$i<1000000;$i++){ $x=new N; $x->n=$o; $o=$x; }
$o=null;
Resulted in this output:
_store_del /home/php-src/Zend/zend_objects_API.c:193
#344 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#345 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#346 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#347 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#348 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#349 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#350 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#351 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#352 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#353 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#354 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#355 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#356 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#357 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#358 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#359 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#360 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#361 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#362 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#363 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#364 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#365 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#366 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#367 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#368 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#369 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
#370 0x55ed1181c2b8 in zend_objects_store_del /home/php-src/Zend/zend_objects_API.c:193
#371 0x55ed1181d414 in zend_object_dtor_property /home/php-src/Zend/zend_objects.c:64
#372 0x55ed1181d414 in zend_object_std_dtor /home/php-src/Zend/zend_objects.c:94
SUMMARY: AddressSanitizer: stack-overflow /home/php-src/Zend/zend_objects.c:77 in zend_object_std_dtor
==34==ABORTING
USE_ZEND_ALLOC=0 .php -d "opcache.enable=1" -d "opcache.enable_cli=1" -d "opcache.jit=tracing" -d "opcache.jit_hot_loop=1" -d "opcache.jit_hot_func=1" poc.php
PHP Version
8.6.0
Operating System
ubuntu 22.04
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず、提供された PHP プログラムと JIT コマンドで stack overflow を再現します。sanitizer trace が繰り返される Zend/zend_objects.c の 77 行目付近と Zend/zend_objects_API.c の 193 行目付近を読みます。reproducer が stack overflow で中断しなくなり、オブジェクト破棄の動作が回帰テストでカバーされれば完了です。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- c, php
- 領域
- compilers
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 静か
- 明瞭さ
- 説明が足りない
- 初心者へのやさしさ
- 35/100