[CHERIoT] Ensure the IF stage only fetches instructions it is allowed to fetch according to the PCC
Open
- Dominant language
- SystemVerilog
- Stars
- 3.6k
- Forks
- 1.1k
- Avg merge
- 2d 22h
- Merged PRs (30d)
- 141
Description
This issue has no description.
Contributor guide
Research direction
The issue body names no files, tests, or entry points. Start by locating the CHERIoT instruction-fetch (IF) stage and its PCC checks, then trace how fetch permissions are currently enforced. Done means instruction fetches are limited to addresses allowed by the PCC and the relevant behavior is covered by tests.
Written by the indexing model from the issue text.
Assessment
- Domain
- embedded-iot, security
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100