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

Aperta Adatta ai principianti
  • Qualcosa non va?
#86 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
82/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
rust
Ambito
data-engineering

Direzione di ricerca

Il panic deriva da Vi::visit_seq() in src/serialization.rs, che chiama push() per ogni elemento senza verificare la capacità N. Inizia leggendo quel visitor, poi riproduci il problema serializzando nove elementi u8 in uno Stack<u8, 8> e deserializzando nello stesso tipo. È completato quando l'overflow restituisce un Err costruito con serde::de::Error::invalid_length (o con un errore try_push mappato) invece di andare in panic, con un test che copra il caso oltre la capacità.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

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.

Lingua principale
Rust
Stelle
13
Fork
4
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di yegor256/microstack

Tutte le issue di yegor256/microstack

Issue simili

Altre issue su Rust

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.