kern: add bounds-safety soft-trap runtime
AcceptedPublic
Actions

Authored by abhijeetsharma2002_gmail.com on Wed, Aug 19, 12:03 PM.

Details

Reviewers

rpaulo
emaste

Summary

__bounds_safety_soft_trap() counts violations via counter(9), fires a
SDT probe carrying the trap site, and continues instead of panicking.
Console logging is opt-in and rate-limited. The deliberate-violation
test hook lives in a separate file so enabling it never instruments the
handler itself.

Diff Detail

Repository

rG FreeBSD src repository

Lint

Lint Skipped

Unit

Tests Skipped

Build Status

Buildable 75740
Build 72623: arc lint + arc unit

Event Timeline

abhijeetsharma2002_gmail.com created this revision.Wed, Aug 19, 12:03 PM

Herald added subscribers: olce, imp. · View Herald TranscriptWed, Aug 19, 12:03 PM

abhijeetsharma2002_gmail.com requested review of this revision.Wed, Aug 19, 12:03 PM

Harbormaster completed remote builds in B75740: Diff 184354.Wed, Aug 19, 12:03 PM

abhijeetsharma2002_gmail.com added a parent revision: D58986: contrib/ck: keep dcas parameters thin under bounds-safety.Wed, Aug 19, 12:04 PM

rpaulo added inline comments.Thu, Aug 27, 10:44 PM

sys/kern/kern_bounds.c
81	You can remove some empty lines in this function.
91	We do need to get a backtrace, otherwise it’s not very useful IMO. Can you check how WITNESS does this?