Module Name:    src
Committed By:   kamil
Date:           Sat Dec 28 04:23:26 UTC 2019

Modified Files:
        src/doc: TODO.sanitizers

Log Message:
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


To generate a diff of this commit:
cvs rdiff -u -r1.11 -r1.12 src/doc/TODO.sanitizers

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: src/doc/TODO.sanitizers
diff -u src/doc/TODO.sanitizers:1.11 src/doc/TODO.sanitizers:1.12
--- src/doc/TODO.sanitizers:1.11	Sun Mar 10 12:59:03 2019
+++ src/doc/TODO.sanitizers	Sat Dec 28 04:23:26 2019
@@ -1,8 +1,6 @@
 Sanitizer and related tasks.
 
 Short term:
- - compiler-rt sanitizers integration with base
- - merge TSan, MSan and libFuzzer ATF tests
  - prepare MKSANITIZER readme
 
 Long term:
@@ -12,20 +10,16 @@ Long term:
  - 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:
-   * LSan,
    * shadowcallstack,
    * cfi,
    * scudo,
    * 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
  - pkgsrc integration with sanitizers and MKSANITIZER (PKGSANITIZER?)
  - 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
  - merge of the libFuzzer integration with the basesystem
@@ -36,7 +30,6 @@ Long term:
 
 
 Unspecified:
- - kernel-msan https://github.com/google/kmsan
  - kernel-tsan? upstream development is stalled with patches for Linux 4.2
    https://github.com/google/ktsan
  - kernel-safestack? implemented in Fuchsia/Magenta

Reply via email to