AFLplusplus/LibAFL

Stable-ish State Dump Format for Quck Resume

Fermée

#1 707 ouverte le 1 déc. 2023

Voir sur GitHubGuide contributeur
 (0 commentaire) (0 réaction) (0 personne assignée)Rust (479 forks)github user discovery
enhancementhelp wanted

Métriques du dépôt

Stars
 (2 621 étoiles)
Métriques de merge PR
 (Merge moyen 17j 22h) (10 PRs mergées en 30 j)

Description

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

Guide contributeur

Direction de recherche
Examinez l'utilisation de `std::any::type name` comme alternative à `TypeId` pour les clés de sérialisation. Explorez les compromis comme la stabilité des noms par rapport à l'unicité. Vérifiez le code de désérialisation existant dans `libafl bolts/src/serdeany.rs` et envisagez une implémentation avec indicateur de fonctionnalité.
Stack technique
rust
Domaine
backend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
RustLibAFL basics
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
45