Page MenuHomeFreeBSD
Differential D12099

Add minimal kernel runtime for UBSAN
Needs ReviewPublic
Actions

Authored by smahadevan_freebsdfoundation.org on Aug 21 2017, 4:05 PM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Apr 12, 2:19 PM
Unknown Object (File)
Thu, Apr 11, 4:09 PM
Unknown Object (File)
Thu, Apr 11, 10:13 AM
Unknown Object (File)
Tue, Mar 19, 3:43 PM
Unknown Object (File)
Tue, Mar 19, 2:54 PM
Unknown Object (File)
Mar 4 2024, 8:11 AM
Unknown Object (File)
Mar 2 2024, 9:43 PM
Unknown Object (File)
Feb 24 2024, 12:17 AM
View All 84 Files
Subscribers
andrew
op

Details

Reviewers
emaste
Summary

To use:

  1. Add options UBSAN to the kernel configuration file
  2. Add WITH_UBSAN=yes to src.conf(5) to enable UBSAN
  3. (optional) Add WITH_UBSAN_SANITIZE_ALL=yes to src.conf(5) to check all kernel source files for undefined behaviour

To check individual kernel source files with UBSAN, add compile-with "${NORMAL_C} ${ENABLE_UBSAN}" to the corresponding line in sys/conf/files. To disable UBSAN for individual files (even with WITH_UBSAN_SANITIZE_ALL=yes), add compile-with "${NORMAL_C} ${DISABLE_UBSAN}" to the corresponding line in sys/conf/files.

Diff Detail

Lint
Lint Skipped
Unit
Tests Skipped

Event Timeline

smahadevan_freebsdfoundation.org created this revision.Aug 21 2017, 4:05 PM
smahadevan_freebsdfoundation.org updated this revision to Diff 32320.Aug 22 2017, 2:05 PM
smahadevan_freebsdfoundation.org added a reviewer: emaste.

Add license after consulting with Ed

emaste added inline comments.Aug 22 2017, 2:51 PM
share/man/man5/src.conf.5
1512–1515

src.conf.5 is generated automatically, via tools/build/options/makeman. You need to create WITH_ files in that directory.

sys/conf/NOTES
3034–3036

This should go up near INVARIANTS INVARIANT_SUPPORT DIAGNOSTIC etc., with a slightly longer description.

sys/conf/options
1002

also near INVARIANTS and other debugging options
Also something like # undefined behaviour sanitizer (ubsan) runtime - to highlight that it's only one part of the ubsan mechanism

sys/libkern/ubsan.c
349

probably need an assert that data->type_check_kind <= nitems(type_check_kinds)

smahadevan_freebsdfoundation.org updated this revision to Diff 32322.Aug 22 2017, 3:47 PM
  • Moved around kernel options to correct locations and added additional comments
  • Added assert for checking bounds of array access
op added a subscriber: op.Aug 29 2017, 12:05 PM
op added inline comments.
sys/libkern/ubsan.c
112

FreeBSD style(9) requires parentheses after the return, like return (1 << (type->type_info >> 1)); and new line after { when there are no local variables.

smahadevan_freebsdfoundation.org updated this revision to Diff 32482.Aug 29 2017, 2:40 PM

Fixed style(9) issues.

smahadevan_freebsdfoundation.org updated this revision to Diff 32483.Aug 29 2017, 3:17 PM

Wrong commit order, accidentally deleted license.

emaste added a subscriber: andrew.Sep 13 2019, 7:23 PM
emaste added a comment.Mar 21 2023, 4:18 PM

NetBSD kernel ubsan imported in 0645126fae62300fe587199cf8eade00842cb9c1

Revision Contents
Changeset List

PathSize
c/
share/
man/
man5/
4 lines
sys/
conf/
3 lines
1 line
10 lines
2 lines
sys/
libkern/
409 lines

Diff 32483

View Options

share/man/man5/src.conf.5

Loading...
View Options

sys/conf/NOTES

Loading...
View Options

sys/conf/files

Loading...
View Options

sys/conf/kern.pre.mk

Loading...
View Options

sys/conf/options

Loading...
View Options

sys/libkern/ubsan.c

Loading...