Page MenuHomeFreeBSD

arm64: validate breakpoint registers
ClosedPublic

Authored by mhorne on Feb 9 2021, 8:39 PM.
Tags
None
Referenced Files
F137327433: D28560.id83608.diff
Sat, Nov 22, 12:34 PM
F137325521: D28560.id84090.diff
Sat, Nov 22, 12:04 PM
F137325472: D28560.id.diff
Sat, Nov 22, 12:03 PM
F137325429: D28560.id83643.diff
Sat, Nov 22, 12:02 PM
F137325250: D28560.diff
Sat, Nov 22, 11:59 AM
Unknown Object (File)
Thu, Nov 20, 10:01 AM
Unknown Object (File)
Sun, Nov 16, 6:34 PM
Unknown Object (File)
Wed, Oct 29, 1:06 AM
Subscribers

Details

Summary

In particular, we want to disallow setting breakpoints on kernel
addresses from userspace. The control register fields are validated or
ignored as appropriate.

For reference: https://developer.arm.com/documentation/ddi0595/2020-12/AArch64-Registers/DBGBCR-n--EL1--Debug-Breakpoint-Control-Registers

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

mhorne requested review of this revision.Feb 9 2021, 8:39 PM
sys/arm64/arm64/machdep.c
374

I think this should be a >=. Contrary to the name, VM_MAXUSER_ADDRESS is not a valid user address.

I guess it's ok to silently round down the address to the nearest half word boundary?

396–400

The dbg_enable_count value is left non-zero in error paths. I guess that's ok so long as we don't set DBGMON_ENABLED.

Fix VM_MAXUSER_ADDRESS conditional. Round down address.

This revision is now accepted and ready to land.Feb 12 2021, 3:25 PM
This revision was automatically updated to reflect the committed changes.