Repro mode cannot be resumed or repeated: repro state is never reset
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 48/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Stack tecnologico
- rust
- Ambito
- security, testing-qa
Direzione di ricerca
Start with the repro state and stop handling in src/lib.rs, src/haps/mod.rs, and src/interfaces/fuzz.rs, then trace how repro interacts with snapshots and the fuzzer thread. Reproduce the reported cases under SIMICS, including resuming after a repro stop and calling repro twice. Done when repro state can be reset, repro runs stop correctly, and fuzzing can resume without treating the repro result as pending input.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Where
- https://github.com/intel/tsffs/blob/79972db9c63eba3ac8a1ce348264eee2005b2b16/src/lib.rs#L557-L561
- https://github.com/intel/tsffs/blob/79972db9c63eba3ac8a1ce348264eee2005b2b16/src/haps/mod.rs#L539-L542
- https://github.com/intel/tsffs/blob/79972db9c63eba3ac8a1ce348264eee2005b2b16/src/interfaces/fuzz.rs#L41-L49
Problem
repro_testcase, repro_bookmark_set and stopped_for_repro are only ever set. Also, repro() after fuzzing (iterations > 0) restores, writes and continues, but never arms the repro stop (repro_bookmark_set is only set by the start handlers, which do not run again after a restore).
Impact
After one repro stop, on_simulation_stopped returns early forever, so fuzzing cannot resume. A second repro(file2) before fuzzing only swaps bytes. repro() after fuzzing likely sends the repro result to the fuzzer as if it were its pending input and keeps looping. fuzz_thread is a OnceCell, so a stopped fuzzer cannot be restarted.
Suggested fix
Clear stopped_for_repro at the top of repro(), arm the repro stop there, drive the re-run off have_initial_snapshot() instead of iterations > 0, and add a way to leave repro mode.
Related
#276, #56
Status
Reported by static code review at 79972db; not yet re-verified line by line. Found by reading the code; not reproduced under SIMICS.
- Lingua principale
- Rust
- Stelle
- 335
- Fork
- 26
- Merge medio
- 1g 50m
- PR unite (30g)
- 12
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Include un Dockerfile o un file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di intel/tsffs
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 1-3 ore Idoneità per principianti 86/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
Issue simili
-
bug UI
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
wardian-app/Wardian#1746 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
jlcodes99/cockpit-tools#3125 ·
I maintainer di solito rispondono entro 2 giorni
-
bug user-sprint
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
Vondor/KassenSturz#967 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
-
area:build bug effort:low P5 source:agent
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
I maintainer di solito rispondono entro 1 giorno