Date: Sat, 21 Jan 2006 12:55:09 GMT From: Robert Watson <rwatson@FreeBSD.org> To: Perforce Change Reviews <perforce@freebsd.org> Subject: PERFORCE change 90068 for review Message-ID: <200601211255.k0LCt9TK079687@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://perforce.freebsd.org/chv.cgi?CH=90068 Change 90068 by rwatson@rwatson_sesame on 2006/01/21 12:54:35 Credit phk, FlexeLint. Affected files ... .. //depot/projects/trustedbsd/openbsm/README#9 edit Differences ... ==== //depot/projects/trustedbsd/openbsm/README#9 (text+ko) ==== @@ -61,9 +61,11 @@ Tom Rhodes Wojciech Koszek Chunyang Yuan + Poul-Henning Kamp -In addition, Coverity, Inc.'s Prevent(tm) static analysis tool was used to -identify a number of bugs in the OpenBSM implementation. +In addition, Coverity, Inc.'s Prevent(tm) static analysis tool and Gimpel +Software's FlexeLint tool were used to identify a number of bugs in the +OpenBSM implementation. Contributions
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200601211255.k0LCt9TK079687>