Module Name: src
Committed By: kamil
Date: Mon Jun 17 17:45:18 UTC 2019
Modified Files:
src/doc/roadmaps: verification
Log Message:
Drop asan/ubsan entry, implemented as MKSANITIZER and MKLIBCSANITIZER
To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 src/doc/roadmaps/verification
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/doc/roadmaps/verification
diff -u src/doc/roadmaps/verification:1.1 src/doc/roadmaps/verification:1.2
--- src/doc/roadmaps/verification:1.1 Fri Jan 13 10:14:58 2017
+++ src/doc/roadmaps/verification Mon Jun 17 17:45:18 2019
@@ -1,4 +1,4 @@
-$NetBSD: verification,v 1.1 2017/01/13 10:14:58 dholland Exp $
+$NetBSD: verification,v 1.2 2019/06/17 17:45:18 kamil Exp $
NetBSD Verification Roadmap
===========================
@@ -9,7 +9,6 @@ to verification and quality control.
The following elements, projects, and goals are relatively near-term:
1. Cut down the Coverity backlog
- 2. Deploy asan/ubsan
3. Deploy clang-static-analyzer
The following elements, projects, and goals are longer-term:
@@ -39,18 +38,6 @@ finds are pretty easily fixed, or are fa
- Contact christos for further information.
-2. Deploy asan/ubsan
-
-It ought to be possible to build any program in NetBSD, or the whole
-world, using asan and/or ubsan. Currently there isn't an easy way to
-do this. We should also do regular test runs with asan and ubsan
-engaged.
-
- - As of January 2017 nobody is known to be working on this.
- - There is currently no clear timeframe or release target.
- - Contact joerg (?) for further information.
-
-
3. Deploy clang-static-analyzer
There is some makefile support for running clang-static-analyzer, but
