--- lldb_19.html.orig 2018-07-02 11:11:45.038427145 +0200 +++ lldb_19.html 2018-07-02 11:18:44.487149418 +0200 @@ -8,13 +8,13 @@
A sanitizer is a special type of addition to a compiled program, and is included from a toolchain (LLVM or GCC). -There are a few types of sanitzers. Their usual purposes are: bug detecting, +There are a few types of sanitizers. Their usual purposes are: bug detecting, profiling, and security hardening.
NetBSD already supports the most useful ones with a decent completeness:
A code that is aided with sanitizers can be configured (either in build time or start/run time) -to report the bug in the execution time of e.g. integer overflow and cause an application to halt immediatetely. -No coding regime can have the same effect and perhaps the number of programming languages with this property is also restriced. +to report the bug in the execution time of e.g. integer overflow and cause an application to halt immediately. +No coding regime can have the same effect and perhaps the number of programming languages with this property is also restricted.
In order to use effectively sanitizers within a distribution there is need to rebuild a program and all of its dependencies (with few exceptions) with the same sanitizing configuration. @@ -83,7 +83,7 @@
I've started to document bugs detected with MKSANITIZER in a dedicated directory on my @@ -221,7 +221,7 @@
The process of getting a bootable and installable (and ignoring the aspect of buildable and generatable) installation ISO image was a loop of fixing bugs and retrying the process. -At the end of the process there is an option to inststall a fully sanitized userland with ASan, UBSan or both. +At the end of the process there is an option to install a fully sanitized userland with ASan, UBSan or both. The MSan version is scheduled after finishing the kernel ptrace(2) work. Other options like a target prebuilt with ThreadSanitizer, safestack or The Scudo Hardened Allocator are untested.
@@ -341,7 +341,7 @@ developers expecting to run a release with the MKSANITIER option.
The lack of C++ runtime pushed me towards reusing non-sanitized ATF tests (as the ATF framework is written in C++) -against the sanitizerd userland. +against the sanitized userland. There have been detected two bugs:
The initial implementation of MKSANITIZER has been designed and implemented by Christos Zoulas. -I took this code and contiued working on it with an external LLVM toolchain (version 7svn with local patches). +I took this code and continued working on it with an external LLVM toolchain (version 7svn with local patches). The final result has been documented in share/mk/bsd.README:
@@ -523,7 +523,7 @@
Plan for the next milestone
-The ptrace(2) tasks have been prempted by the suspended work on sanitizers, +The ptrace(2) tasks have been preempted by the suspended work on sanitizers, in order to actively collaborate with the Google Summer of Code students (libFuzzer integration with userland, KUBSan, KASan).