[spectec] Tstringchar excludes \u{E000}..\u{E7FF}
メンテナーはふだん 1 日以内に返信
評価
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 初心者へのやさしさ
- 78/100
- issue の種類
- バグ
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 技術スタック
- wasm
- 領域
- compilers
調査の方向性
リンク先の行にある Tstringchar ルールを specification/wasm-3.0/6.1-text.values.spectec で読み、次に参照インタープリターが例の2つのエスケープをどのように受け入れるか確認してください。有効な Unicode スカラー値 U+E000 から U+E7FF が受け入れられるように下限を修正し、例の両方のエスケープが正常に解析されることを確認してください。
索引モデルが issue の本文から書いたものです。
説明
Tstringchar admits a \u{n} escape only if n < 0xD800 \/ 0xE800 <= n < 0x110000:
The surrogates end at U+DFFF, so the lower bound of the second range should be 0xE000. As written, the escapes \u{E000} to \u{E7FF}, which are valid Unicode scalar values, are malformed in the 3.0 text format. The reference interpreter accepts them:
(module (memory 1) (data (i32.const 0) "\u{E000}\u{E7FF}")
(func (export "b") (param i32) (result i32) (i32.load8_u (local.get 0))))
(assert_return (invoke "b" (i32.const 0)) (i32.const 0xee))
(assert_return (invoke "b" (i32.const 3)) (i32.const 0xee))
Tested at 340650f.
- 主要言語
- WebAssembly
- スター
- 3.5k
- フォーク
- 540
- 平均マージ
- 1日 4時間
- マージ済み PR（30日）
- 19
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
WebAssembly/spec のほかの issue
-
[interpreter] Text lexer accepts surrogate escapes and crashes on escapes past U+10FFFF対応中かも @rossberg が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
WebAssembly/spec#2287 ·
メンテナーはふだん 1 日以内に返信
-
[spectec] SpecTec interpreter: array.new_data and array.init_data fail on arrays of v128対応中かも @rossberg が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
WebAssembly/spec#2285 ·
メンテナーはふだん 1 日以内に返信
-
[interpreter] memory.grow on an i64 memory past 2^48 pages succeeds but allocates wrong amount (or crashes)対応中かも @rossberg が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
WebAssembly/spec#2281 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
WebAssembly/spec#2297 ·
メンテナーはふだん 1 日以内に返信
-
[interpreter] Binary decoder rejects heap type indices >= 2^31 as malformed対応中かも @rossberg が今日担当しました。 オープン
難易度 3/5 1〜2日 初心者へのやさしさ 67/100
WebAssembly/spec#2289 ·
メンテナーはふだん 1 日以内に返信
WebAssembly/spec の issue をすべて見る
似ている issue
-
bug priority: P2
難易度 1/5 1時間未満 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
confirmed generated by fuzzer llvm:optimizations miscompilation
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
llvm/llvm-project#234325 ·
メンテナーはふだん 1 日以内に返信
-
grammar selfhost sev-3
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
gren-lang/compiler-common#41 ·