`Parser::slice` and `Parser::slice_from` can trigger UB in safe Rust via unchecked slicing
まだ誰も着手していません。
評価
調査の方向性
src/tokenizer.rs、特に Parser::slice と Parser::slice_from を調査し、Issue で説明されている安全でない範囲の構築を追跡します。変更の前後にリポジトリ既存のテストを実行し、その後、反転した範囲、境界外の範囲、リセットされた範囲、およびパーサーをまたぐ範囲が unchecked slicing に到達しなくなったことを確認します。
索引モデルが issue の本文から書いたものです。
説明
Parser::slice (and Parser::slice_from) in src/tokenizer.rs calls self.input.get_unchecked(range.start.0..range.end.0) without verifying range.start.0 <= range.end.0 or range.end.0 <= self.input.len():
#[inline]
pub fn slice(&self, range: Range<SourcePosition>) -> &'a str {
debug_assert!(self.input.is_char_boundary(range.start.0));
debug_assert!(self.input.is_char_boundary(range.end.0));
unsafe { self.input.get_unchecked(range.start.0..range.end.0) }
}
Safe callers can trigger undefined behavior without unsafe:
- Passing an inverted range
p1..p0wherep1 > p0(bothis_char_boundaryassertions still pass in debug builds, andend - startunderflows inget_unchecked). - Calling
parser.reset(&saved_state)to rewind the parser position and then callingparser.slice_from(later_pos). - Passing a
SourcePositionobtained from anotherParserwith a longer input string in release builds wheredebug_assert!is disabled.
Replacing unsafe { self.input.get_unchecked(range.start.0..range.end.0) } with &self.input[range.start.0..range.end.0] avoids the soundness issue.
- 主要言語
- Rust
- スター
- 874
- フォーク
- 150
- 平均マージ
- 9分
- マージ済み PR(30日)
- 1
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
servo/rust-cssparser のほかの issue
-
cssparser-color: debug assertion in hsl_to_rgb for a hue that overflows f32対応中かも @BartWaardenburg が 3 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 64/100
servo/rust-cssparser#460 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
servo/rust-cssparser#440 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
servo/rust-cssparser#439 · コメント 1 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
servo/rust-cssparser#434 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
servo/rust-cssparser#438 · コメント 3 件 · リアクション 1 件 ·
servo/rust-cssparser の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 61/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
rust-embedded/heapless#694 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 75/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
farion1231/cc-switch#8899 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
manuscript-lang/manuscript#1364 ·
メンテナーはふだん 1 日以内に返信