AFLplusplus/LibAFL

Potential Undefined Behavior in Frida ASan

Ouverte

#1 862 ouverte le 15 févr. 2024

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

Métriques du dépôt

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

Description

In asan_rt.rs, we're getting mutable references to self at various places, hereby creating aliases for mutable references. This is not permitted in Rust and may break in the future, see here: https://github.com/AFLplusplus/LibAFL/blob/97a83aba3bc6376786984efde3e4a968fe553068/libafl_frida/src/asan/asan_rt.rs#L1945C42-L1945C46 Instead, we probably need to store the runtime on the heap and keep a pointer to it (Rc, UnsafeCell, Pin, or something like that?)

Guide contributeur

Direction de recherche
Identifiez tous les emplacements dans asan rt.rs où les références mutables à self sont aliasées et proposez une correction utilisant l'allocation de tas avec Rc, UnsafeCell ou Pin pour éviter un comportement indéfini.
Stack technique
rust
Domaine
security
Type d'issue
Bug
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-3 heures
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
Rust
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
50