AFLplusplus/LibAFL

Stable-ish State Dump Format for Quck Resume

Chiusa

#1707 aperta il 1 dic 2023

Vedi su GitHubGuida contributor
 (0 commenti) (0 reazioni) (0 assegnatari)Rust (479 fork)github user discovery
enhancementhelp wanted

Metriche repository

Star
 (2621 stelle)
Metriche merge PR
 (Merge medio 17g 22h) (10 PR mergiate in 30 g)

Descrizione

Right now the serialized state depends on compile-time TypeIds that change every compilation. This means that a serialized state on disk is useless for smaller (non-metadata-changing) fixes on the fuzzer and resume. Instead of the more precise typeid, we could experiment with optionally (as a feature flag?) using type_name that may come with other drawbacks (same types may have different names/other types may have the same names?) but at leat will survive a recompilation.

Deserialize using type_id is currently in this file https://github.com/AFLplusplus/LibAFL/blob/5d83c9399a59e41d5484d0da0fa148fa62609233/libafl_bolts/src/serdeany.rs#L133

Guida contributor

Direzione di ricerca
Investiga l'uso di `std::any::type name` come alternativa a `TypeId` per le chiavi di serializzazione. Esplora i compromessi come la stabilità dei nomi rispetto all'unicità. Controlla il codice di deserializzazione esistente in `libafl bolts/src/serdeany.rs` e considera un'implementazione con flag di feature.
Tech stack
rust
Dominio
backend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RustLibAFL basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
45