Deserializing a sequence longer than N panics in src/serialization.rs instead of returning an error

オープン 初心者向け
  • 何か問題がありますか？
#86 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
2/5
見積もり時間
1〜3時間
初心者へのやさしさ
82/100
issue の種類
バグ
明瞭さ
明確に書かれている
活発さ
活発
技術スタック
rust
領域
data-engineering

調査の方向性

パニックは src/serialization.rs の Vi::visit_seq() から発生しており、容量 N を確認せずに各要素ごとに push() を呼び出しています。まずそのビジターを読み、次に9個の u8 要素を Stack<u8, 8> にシリアライズし、同じ型にデシリアライズして再現してください。オーバーフローがパニックせず、serde::de::Error::invalid_length（または変換された try_push のエラー）で構築された Err を返すこと、そして容量超過のケースを検証するテストがあることで完了です。

索引モデルが issue の本文から書いたものです。

説明

Vi::visit_seq() in src/serialization.rs pushes every element it receives with push(), which asserts that there is room left. When the serialized sequence holds more than N elements, deserialization panics with No more space left in the stack instead of returning an error:

// src/serialization.rs:54-58
let mut p: Self::Value = Stack::new();
while let Some(v) = access.next_element()? {
    p.push(v);
}
Ok(p)

Deserialization reads untrusted bytes, and a serde visitor is expected to report malformed input through A::Error. Serializing a Stack<u8, 8> with nine items and reading it back as Stack<u8, 8>, or simply reading a Stack<u8, 8> back as Stack<u8, 4>, kills the thread instead of giving the caller an Err it can handle.

The visitor should reject the overflow with a proper error:

let mut p: Self::Value = Stack::new();
while let Some(v) = access.next_element()? {
    if p.len() == N {
        return Err(serde::de::Error::invalid_length(N + 1, &self));
    }
    p.push(v);
}
Ok(p)

The smallest fix is to check p.len() against N before each push() in visit_seq() and return invalid_length, or to use try_push() and map its error into A::Error with serde::de::Error::custom.

主要言語
Rust
スター
13
フォーク
4
30日以内にマージされた PR はありません

環境構築

このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

yegor256/microstack のほかの issue

yegor256/microstack の issue をすべて見る

似ている issue

Rust の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。