Date: Sun, 19 Nov 2017 20:21:10 +1100 (EST) From: Bruce Evans <brde@optusnet.com.au> To: Pedro Giffuni <pfg@freebsd.org> Cc: Stefan Esser <se@freebsd.org>, rgrimes@freebsd.org, "svn-src-head@freebsd.org" <svn-src-head@freebsd.org>, "svn-src-all@freebsd.org" <svn-src-all@freebsd.org>, src-committers <src-committers@freebsd.org>, Warner Losh <imp@bsdimp.com>, "O. Hartmann" <ohartman@zedat.fu-berlin.de> Subject: Re: svn commit: r325954 - in head: . share/mk sys/conf usr.sbin/config Message-ID: <20171119200731.U974@besplex.bde.org> In-Reply-To: <75597b23-7a8c-34ad-736b-8d68ce7dea06@FreeBSD.org> References: <201711180134.vAI1Y2ks064138@pdx.rh.CN85.dnsmgr.net> <29499AF9-FC0A-4CDA-9657-B092B3F9A0D0@FreeBSD.org> <04747a89-4dc7-a476-dc32-a158ee1f5240@freebsd.org> <75597b23-7a8c-34ad-736b-8d68ce7dea06@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Sat, 18 Nov 2017, Pedro Giffuni wrote: > On 11/18/17 09:15, Stefan Esser wrote: >>> >>> OTOH, we should probably consider other tools, like sparse: >>> >>> https://sparse.wiki.kernel.org/index.php/Main_Page >>> The license is fine and it plays nice with the compiler. >> It builds on -CURRENT, but the Makefile needs some tweaks (it does >> not find LLVM or Gtk+-2.0, even though they are present on my system). >> >> I'll work on a port over the weekend ... > > Thanks! > For it to be really useful we still would have to add annotations to the > kernel headers. Not just kernel headers, but also user headers and applications. Ugh, it is the annotations that are the main cost of supporting lint (or any other checker that needs some). Bruce
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20171119200731.U974>