Sat Dec 28 04:23:26 2019 UTC ()
Sync TODO.sanitizers with reality

Done:
 - compiler-rt sanitizers integration with base
 - merge TSan, MSan and libFuzzer ATF tests
 - LSan
 - finish the research of a new syscall for StopTheWorld() operation
   ptrace(2) style for self-introspection and debugging (LSan)
 - attach a NetBSD buildbot testing build of compiler-rt and executing tests
 - kernel-msan https://github.com/google/kmsan


(kamil)
diff -r1.11 -r1.12 src/doc/TODO.sanitizers
cvs diff -r1.11 -r1.12 src/doc/Attic/TODO.sanitizers (expand / switch to unified diff)

--- src/doc/Attic/TODO.sanitizers 2019/03/10 12:59:03 1.11
+++ src/doc/Attic/TODO.sanitizers 2019/12/28 04:23:26 1.12
@@ -1,42 +1,35 @@ @@ -1,42 +1,35 @@
1Sanitizer and related tasks. 1Sanitizer and related tasks.
2 2
3Short term: 3Short term:
4 - compiler-rt sanitizers integration with base 
5 - merge TSan, MSan and libFuzzer ATF tests 
6 - prepare MKSANITIZER readme 4 - prepare MKSANITIZER readme
7 5
8Long term: 6Long term:
9 - handle fts_open(3) compar callback in sanitizers (use TLS to store 7 - handle fts_open(3) compar callback in sanitizers (use TLS to store
10 the real callback and call a wrapper that will [un]poison appropriate 8 the real callback and call a wrapper that will [un]poison appropriate
11 memory regions) 9 memory regions)
12 - improve the framework for ioctl(2) database and handle special cases when a 10 - improve the framework for ioctl(2) database and handle special cases when a
13 part of a struct can be uninitialized and passed to the kernel (MSan) 11 part of a struct can be uninitialized and passed to the kernel (MSan)
14 - port or finish the port of: 12 - port or finish the port of:
15 * LSan, 
16 * shadowcallstack, 13 * shadowcallstack,
17 * cfi, 14 * cfi,
18 * scudo, 15 * scudo,
19 * DFSan. 16 * DFSan.
20 - finish the research of a new syscall for StopTheWorld() operation 
21 ptrace(2) style for self-introspection and debugging (LSan) 
22 - port HWASan -- aarch64 specific, needs hardware or emulator 17 - port HWASan -- aarch64 specific, needs hardware or emulator
23 - make MKSANITIZER usable with any supported by a compiler combination of 18 - make MKSANITIZER usable with any supported by a compiler combination of
24 sanitizers 19 sanitizers
25 - pkgsrc integration with sanitizers and MKSANITIZER (PKGSANITIZER?) 20 - pkgsrc integration with sanitizers and MKSANITIZER (PKGSANITIZER?)
26 - port what possible to !amd64 21 - port what possible to !amd64
27 - fixes with the signal code 22 - fixes with the signal code
28 - attach a NetBSD buildbot testing build of compiler-rt and executing tests 
29 - make compiler-rt buildable with GCC 23 - make compiler-rt buildable with GCC
30 - finish the support of float128 for Clang/LLVM/libstdc++/libgcc 24 - finish the support of float128 for Clang/LLVM/libstdc++/libgcc
31 - merge of the libFuzzer integration with the basesystem 25 - merge of the libFuzzer integration with the basesystem
32 - oom-killer ATF tests and fixes 26 - oom-killer ATF tests and fixes
33 - utime(3) allow changing actime regardless of noatime mount property 27 - utime(3) allow changing actime regardless of noatime mount property
34 - NetBSD tar: handle character escaping in file names (\\ \), needed in 28 - NetBSD tar: handle character escaping in file names (\\ \), needed in
35 check-lld (lld::reproduce-backslash.s) 29 check-lld (lld::reproduce-backslash.s)
36 30
37 31
38Unspecified: 32Unspecified:
39 - kernel-msan https://github.com/google/kmsan 
40 - kernel-tsan? upstream development is stalled with patches for Linux 4.2 33 - kernel-tsan? upstream development is stalled with patches for Linux 4.2
41 https://github.com/google/ktsan 34 https://github.com/google/ktsan
42 - kernel-safestack? implemented in Fuchsia/Magenta 35 - kernel-safestack? implemented in Fuchsia/Magenta