diff options
| author |   anton <anton@openbsd.org> | 2019-03-18 17:30:07 +0000 |
|---|---|---|
| committer | anton <anton@openbsd.org> | 2019-03-18 17:30:07 +0000 |
| commit | 286735181e96e624bfb5a61f2ba75479ca1259d2 (patch) | |
| tree | d400fbb6e897f396b4bbde7ab3ef99e665811bb5 /share/man/man4/options.4 | |
| parent | Add a couple of checks to ensure option data fits into the proposal (diff) | |
| download | wireguard-openbsd-286735181e96e624bfb5a61f2ba75479ca1259d2.tar.xz wireguard-openbsd-286735181e96e624bfb5a61f2ba75479ca1259d2.zip | |
Add kubsan(4), a undefined behavior sanitizer for the kernel. It's
capable of detecting undefined behavior at runtime and all findings are
printed to the system console, including the offending line in the
source code.
kubsan is limited to architectures using Clang as their default compiler
and is not enabled by default.
Derived from the NetBSD implementation.
ok kettenis@ visa@
Diffstat (limited to 'share/man/man4/options.4')
| -rw-r--r-- | share/man/man4/options.4 | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/share/man/man4/options.4 b/share/man/man4/options.4 index 6c9f58b9935..dc042fe92f7 100644 --- a/share/man/man4/options.4 +++ b/share/man/man4/options.4 @@ -1,4 +1,4 @@ -.\" $OpenBSD: options.4,v 1.262 2019/02/07 15:11:38 visa Exp $ +.\" $OpenBSD: options.4,v 1.263 2019/03/18 17:30:07 anton Exp $ .\" $NetBSD: options.4,v 1.21 1997/06/25 03:13:00 thorpej Exp $ .\" .\" Copyright (c) 1998 Theo de Raadt @@ -34,7 +34,7 @@ .\" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. .\" .\" -.Dd $Mdocdate: February 7 2019 $ +.Dd $Mdocdate: March 18 2019 $ .Dt OPTIONS 4 .Os .Sh NAME @@ -114,6 +114,10 @@ Adds hooks for the system call tracing facility, which allows users to watch the system call invocation behavior of processes. See .Xr ktrace 1 . +.It Cd option KUBSAN +Detect undefined behavior in the kernel. +See +.Xr kubsan 4 . .It Cd option NO_PROPOLICE Do not compile the kernel with the ProPolice stack protection. See |