]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/commit
projects / FreeBSD / FreeBSD.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e775b80) | patch
Port the NetBSD ubsan runtime to the FreeBSD kernel.
authorandrew <andrew@FreeBSD.org>
Tue, 6 Nov 2018 17:32:07 +0000 (17:32 +0000)
committerandrew <andrew@FreeBSD.org>
Tue, 6 Nov 2018 17:32:07 +0000 (17:32 +0000)
commit7e99f2fcf63ef7000e0abac03e6164787972e9ff
tree9adfb85eb30cb265a1b6d1a8248f635f7e0a2370tree | snapshot
parente775b8077c89463b34d6d2bd57b1fd902bea4bcccommit | diff
Port the NetBSD ubsan runtime to the FreeBSD kernel.

This allows us to build the ubsan code added in r340189 into the kernel
with the KUBSAN option. This will report when undefined behaviour is
detected in the currently running kernel.

As it can be large, the kernel is 65MB on arm64, loader may not be able to
load the kernel on all architectures so is disabled by default for now.

Sponsored by: DARPA, AFRL
sys/conf/files diff | blob | history
sys/conf/kern.post.mk diff | blob | history
sys/conf/kern.pre.mk diff | blob | history
sys/conf/kmod.mk diff | blob | history
sys/conf/options diff | blob | history
sys/kern/kern_ubsan.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.