[src/trunk]: src/doc Add TODO.sanitizer

[kamil <kamil%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/42d73fb4799a
branches:  trunk
changeset: 320212:42d73fb4799a
user:      kamil <kamil%NetBSD.org@localhost>
date:      Tue Jun 26 17:13:41 2018 +0000

description:
Add TODO.sanitizer

Note short term, long term and unspecified tasks with sanitizers.

The long term goals are planned to be started after emptying TODO.ptrace.

diffstat:

 doc/TODO.sanitizers |  55 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 55 insertions(+), 0 deletions(-)

diffs (59 lines):

diff -r 1198763e08bd -r 42d73fb4799a doc/TODO.sanitizers
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/TODO.sanitizers       Tue Jun 26 17:13:41 2018 +0000
@@ -0,0 +1,55 @@
+Sanitizer and related tasks.
+
+Short term:
+ - upgrade base Clang/LLVM, libcxx, libcxxabi to at least 7svn (HEAD)
+ - compiler-rt import and integration with base
+ - merge TSan, MSan and libFuzzer ATF tests
+ - prepare MKSANITIZER readme
+ - kernel-asan port
+ - kernel-ubsan port
+ - switch syscall(2)/__syscall(2) to libc calls
+ - upstream local patches, mostly to compiler-rt
+ - develop fts(3) interceptors (MSan, for ls(1), find(1), mtree(8)
+ - investigate and address the libcxx failing tests on NetBSD
+ - expr(1) fixes for issue detected with libFuzzer, addition of new ATF tests
+ - no-ASLR boot.cfg option, required for MKSANITIZER
+
+Long term:
+ - FILE and DIR sanitization (needed by at least: ESan, MSan)
+ - add missing interceptors (mostly MSan-centric)
+ - improve the framework for ioctl(2) database and handle special cases when a
+   part of a struct can be uninitialized and passed to the kernel (MSan)
+ - port or finish the port of:
+   * ESan,
+   * LSan,
+   * XRay,
+   * shadowcallstack,
+   * cfi,
+   * scudo,
+   * profile,
+   * DFSan.
+ - finish the research of a new syscall for StopTheWorld() operation
+   ptrace(2) style for self-introspection and debugging (LSan)
+ - port HWASan -- aarch64 specific, needs hardware or emulator
+ - make MKSANITIZER usable with any supported by a compiler combination of
+   sanitizers
+ - detect and fix more bugs in basesystem
+ - pkgsrc integration with sanitizers and MKSANITIER (PKGSANITIER?)
+ - port what possible to !amd64
+ - fixes with the signal code
+ - attach a NetBSD buildbot testing build of compiler-rt and executing tests
+ - make compiler-rt buildable with GCC
+ - finish the support of float128 for Clang/LLVM/libstdc++/libgcc
+ - lld port to NetBSD (GNU ld(1) is too slow for serious LLVM development)
+ - merge of the libFuzzer integration with the basesystem
+ - oom-killer ATF tests and fixes
+ - uvm_map.c E2BIG workaround or limit raise (1MB -> 10MB?), needed by libFuzzer
+
+Unspecified:
+ - kernel-tsan? upstream development is stalled with patches for Linux 4.2
+   https://github.com/google/ktsan
+ - kernek-msan? in development for Linux
+   https://github.com/google/kmsan
+ - kernel-safestack? implemented in Fuchsia/Magenta
+ - kernel coverage (KCOV?)
+ - syzkaller port