twizzler-operating-system/twizzler

Add kernel test for Object::verify_id()

Open

#316 opened on Nov 21, 2025

View on GitHub
 (2 comments) (0 reactions) (0 assignees)Rust (33 forks)auto 404
buggood first issue

Repository metrics

Stars
 (116 stars)
PR merge metrics
 (PR metrics pending)

Description

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!

Contributor guide

Research direction
Write a test that creates an object, modifies its permissions, and then calls verify id to check that the id changes or the function returns an error.
Tech stack
rust
Domain
operating systems
Issue type
Test
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Rust
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
70