Aren
/
NetBSD
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Drop asan/ubsan entry, implemented as MKSANITIZER and MKLIBCSANITIZER

This commit is contained in:
kamil 2019-06-17 17:45:18 +00:00
parent cadfcb39d0
commit 975aab079d
1 changed files with 1 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
doc/roadmaps/verification
View File

@ -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 false positives.
- 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