Branch hint fuzz bug with --code-pushing
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 45/100
調査の方向性
repro.sh と添付された repro.zip から始め、次に示されている bin/wasm-opt シーケンスを実行して branch-hint の変更を確認します。--code-pushing 周辺の元の instrumentation と最終的な instrumentation を比較し、関連する wasm-opt pass のエントリポイントを調査します。branch の同一性または期待される動作が説明され、回帰テストでカバーされていれば完了です。
索引モデルが issue の本文から書いたものです。
説明
$ ./repro.sh
+ bin/wasm-opt -all b.wast -S -o b.inst.wast --randomize-branch-hints --instrument-branch-hints -g
+ bin/wasm-opt -all b.inst.wast --fuzz-exec-before
[fuzz-exec] export test
[LoggingExternalInterface log-branch 1 1 0]
[LoggingExternalInterface logging 0]
[LoggingExternalInterface log-branch 2 1 1]
warning: no passes specified, not doing any work
warning: no output file specified, not emitting output
+ bin/wasm-opt -all b.inst.wast -S -o b.de_inst.wast --delete-branch-hints=1 --deinstrument-branch-hints -g
+ bin/wasm-opt -all b.de_inst.wast -S -o b.opted.wast -g --code-pushing
+ bin/wasm-opt -all b.opted.wast -S -o b.final.wast --instrument-branch-hints -g
+ bin/wasm-opt -all b.final.wast --fuzz-exec-before
[fuzz-exec] export test
[LoggingExternalInterface logging 0]
[LoggingExternalInterface log-branch 1 1 1]
warning: no passes specified, not doing any work
warning: no output file specified, not emitting output
So it looks like branch hint number 1 changed results, but looking at the original instrumentation and the final instrumentation, it's maybe a completely different branch??? Not really sure what the correct next step is.
- 主要言語
- WebAssembly
- スター
- 8.6k
- フォーク
- 892
- 平均マージ
- 1日 18時間
- マージ済み PR（30日）
- 79
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
WebAssembly/binaryen のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
WebAssembly/binaryen#9185 ·
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
WebAssembly/binaryen#9135 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 半日 初心者へのやさしさ 76/100
WebAssembly/binaryen#9018 · コメント 3 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 52/100
WebAssembly/binaryen#9186 ·
メンテナーはふだん 1 日以内に返信
-
LoopInvariantCodeMotion: `struct.new` is hoisted out of a loop, so all iterations share one objectオープン
難易度 3/5 1〜2日 初心者へのやさしさ 68/100
WebAssembly/binaryen#9184 ·
メンテナーはふだん 1 日以内に返信
WebAssembly/binaryen の issue をすべて見る
似ている issue
-
bug engine spec compliance
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
frostney/GocciaScript#1402 ·
メンテナーはふだん 1 日以内に返信
-
bug needs triage
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
yhirose/cpp-peglib#344 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信