Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

arg_value_union panics on zero-arity union tuple case (unchecked type_[0] index)

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

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

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

Direzione di ricerca

Il panic si trova in arg_value_union in cmd/crates/soroban-spec-tools/src/lib.rs, intorno alle righe 1326-1342, all'interno del ramo depth > 1 dove type_[0] viene indicizzato senza un controllo sulla lunghezza. Confrontalo con la guardia type_.len() == 1 in example_union, vicino alla riga 1517. Per riprodurlo, costruisci una spec con un caso di tupla union di arità zero all'interno di Option<Vec<MyUnion>> ed esegui contract invoke -- --help. È completato quando il caso di arità zero restituisce None invece di andare in panic, con un test che lo copre.

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

Descrizione

bug

cmd/crates/soroban-spec-tools/src/lib.rs:1326-1342 indexes type_[0] inside the depth > 1 branch of arg_value_union without a length check. A contract spec whose union TupleV0 case declares an empty type_ (a VecM<ScSpecTypeDef> of length 0, which is valid XDR) causes an out-of-bounds panic while the clap command is being constructed.

Introduced by #1593, which replaced the non-indexing type_.iter().map(...) with a depth guard that indexes directly. The sibling example_union already guards the identical shape with type_.len() == 1 (~line 1517), which confirms the missing check is an oversight.

Reach

The expansion runs for every function during build_clap_command, so contract invoke --id <c> -- --help is sufficient to trigger it; contract deploy --wasm-hash reaches the same code via the constructor path. contract info interface is unaffected. The union must sit at least two type levels deep to enter the depth > 1 branch, e.g. an input typed Option<Vec<MyUnion>>.

Fix

  • Add a length check before indexing in arg_value_union, returning None for a zero-arity tuple case, matching the type_.len() == 1 guard example_union applies. This covers all three index sites (:1327, :1338, :1342).
  • Reject a zero-arity union tuple case during spec decode/verify so every consumer is protected at once rather than each rendering path separately.
Lingua principale
Rust
Stelle
128
Fork
147
Merge medio
2g 12h
PR unite (30g)
35

Preparare l'ambiente

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 stellar/stellar-cli

Tutte le issue di stellar/stellar-cli

Issue simili

Altre issue su Rust

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.