Skip to content

Fix/Add PTE attributes and consider PTE values with non-default attributes interesting - #100

Merged
Alasdair merged 3 commits into
rems-project:masterfrom
Nils-Lauermann:master
Feb 27, 2026
Merged

Fix/Add PTE attributes and consider PTE values with non-default attributes interesting#100
Alasdair merged 3 commits into
rems-project:masterfrom
Nils-Lauermann:master

Conversation

@Nils-Lauermann

Copy link
Copy Markdown
Contributor
  • UXN and PXN bit positions were swapped (Arm ARM M.a.a, D8-7629)
  • Support more PTE attributes: valid and dbm
  • The --remove-uninteresting heuristic unsoundly removed translation events with non-default attributes. For example, a read-only PTE value is very likely to be relevant, as similarly to an invalid entry it may cause a fault.

@Alasdair
Alasdair merged commit 7f6882b into rems-project:master Feb 27, 2026
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants