Crash and Timeout fuzzer messages are never sent (no solutions in log.json, no solution traces)
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 55/100
Línea de trabajo
Start with the feedback and objective handling in src/fuzzer/feedbacks/mod.rs and src/fuzzer/mod.rs, then inspect message handling in src/log/mod.rs. Trace how LibAFL processes objectives before corpus feedback, and check whether crash and timeout messages reach the logger and execution trace saving paths. Done means both outcomes produce the expected log entries and traces; the issue notes this has not been reproduced under SIMICS.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Where
- https://github.com/intel/tsffs/blob/79972db9c63eba3ac8a1ce348264eee2005b2b16/src/fuzzer/feedbacks/mod.rs#L112-L210
- https://github.com/intel/tsffs/blob/79972db9c63eba3ac8a1ce348264eee2005b2b16/src/fuzzer/mod.rs#L313-L314
- https://github.com/intel/tsffs/blob/79972db9c63eba3ac8a1ce348264eee2005b2b16/src/log/mod.rs#L160-L231
Problem
ReportingMapFeedback sends FuzzerMessage::Crash / Timeout, but it is part of the corpus feedback. LibAFL's process_execution evaluates the objective first and skips the feedback entirely when the objective (feedback_or_fast!(crash_feedback, timeout_feedback)) fires. So the Crash/Timeout branches are unreachable.
Impact
Crashing or timing-out inputs produce no Solution/Timeout entry in log.json and no "Solution input" log line; save_solution_execution_traces and save_timeout_execution_traces never save anything. Since #393 the timeout half is unreachable too (before it, the timeout objective never fired).
Suggested fix
Wrap the objective in a small reporting feedback that sends Crash/Timeout when the inner feedback returns true, and delete the dead branches. In log/mod.rs, log Solution/Timeout unconditionally (they are also gated on edges_seen_since_last being non-empty).
Related
#393
Status
Confirmed by reading the code at 79972db. Found by reading the code; not reproduced under SIMICS.
- Lenguaje dominante
- Rust
- Estrellas
- 335
- Forks
- 26
- Merge medio
- 1 d 50 min
- PR fusionados (30 d)
- 12
Preparar el entorno
Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.
- Incluye un Dockerfile o un archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de intel/tsffs
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 86/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
Los mantenedores suelen responder en 1 día
Todos los issues de intel/tsffs
Issues similares
-
bug UI
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
wardian-app/Wardian#1746 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
jlcodes99/cockpit-tools#3125 ·
Los mantenedores suelen responder en 2 días
-
bug user-sprint
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Vondor/KassenSturz#967 ·
Los mantenedores suelen responder en 1 día
-
area/ci
Dificultad 1/5 Menos de una hora Aptitud para principiantes 62/100
Los mantenedores suelen responder en 1 día
-
[BUG] Incremental sync warns "no stored highest_uid" on every round for folders with no new mailAbiertobug
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
rustmailer/bichon#411 ·