[CHERIoT] Validate control flow integrity of branch and jump instructions through 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 names no files, tests, or entry points. Start by locating the CHERIoT implementation of branch and jump instructions and the PCC-related control-flow checks, then identify the relevant validation tests. Done means control-flow integrity is validated for the specified instructions through the PCC.
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