twizzler-operating-system/twizzler

Add kernel test for Object::verify_id()

Aperta

#316 aperta il 21 nov 2025

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Rust (33 fork)auto 404
buggood first issue

Metriche repository

Star
 (116 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

in src/kernel/obj/id.rs around line 80, there is a function called verfy_id that is supposed to take the metadata of the object and calculate the object id.

We have noticed that if one were to take a raw pointer to the metadata after an object has been created, and then modifies it, the function still generates the same id.

This is testable by creating an object, modifying its default permissions, and then calling this function. The expected behavior is that the ID should not be verified.

Fix this issue by writing a test that catches this, and bonus points if you can fix it!

Guida contributor

Direzione di ricerca
Scrivi un test che crea un oggetto, modifica le sue autorizzazioni e poi chiama verify id per verificare che l'id cambi o che la funzione restituisca un errore.
Tech stack
rust
Dominio
operating systems
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
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
Rust
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70