Date: Mon, 5 Oct 2015 18:57:13 -0400 From: Jan Knepper <jan@digitaldaemon.com> To: Alan Somers <asomers@freebsd.org> Cc: Thomas Schmitt <scdbackup@gmx.net>, "freebsd-hackers@freebsd.org" <freebsd-hackers@freebsd.org> Subject: Re: Which program produces FreeBSD-11.0-CURRENT-amd64-*-disc1.iso ? Message-ID: <62905755-63CE-430E-A6AA-D3FCE3EF347A@digitaldaemon.com> In-Reply-To: <CAOtMX2in1NZuD-qE8NrZ3-tGf2sLSzf77R_v7ZrFCc0=k%2BDkpA@mail.gmail.com> References: <CAOtMX2jmt4oOjhEZezY9a4EokkO5eHJ2gVnsRUEt5UPG_NUQ5Q@mail.gmail.com> <16694582476300143275@scdbackup.webframe.org> <CAOtMX2in1NZuD-qE8NrZ3-tGf2sLSzf77R_v7ZrFCc0=k%2BDkpA@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
Actually... Coverity also can check Java, C#, JavaScript and Objective-C. The group I work for at the FAA uses it for C/C++ Jan ManiaC++ Jan Knepper > On Oct 5, 2015, at 17:04, Alan Somers <asomers@freebsd.org> wrote: >=20 >> On Mon, Oct 5, 2015 at 1:02 PM, Thomas Schmitt <scdbackup@gmx.net> wrote:= >> Hi, >>=20 >>> the FreeBSD project has had a free Coverity account for a >>> few years now. >>=20 >> Does it also get applied to ports ? >> Especially i would be interested in my own upstream stuff: >> http://portsmon.freebsd.org/portoverview.py?category=3Ddevel&portname=3D= libburn >> http://portsmon.freebsd.org/portoverview.py?category=3Ddevel&portname=3D= libisofs >> http://portsmon.freebsd.org/portoverview.py?category=3Dsysutils&portname= =3Dxorriso >>=20 >> Meanwhile i filed >> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D203531 >>=20 >> Problem #1 would be a candidate for Coverity. >> "Uninitialized malloc memory in timestamp of root directory." >>=20 >> The other three problems are decisions at the discretion of >> the programmer. We will have to wait a few more years before >> automats can tell us that we got the specs wrong or try to >> save a few bytes where it is not worth the hassle. >>=20 >>=20 >>> Would it be possible to get Thomas an account? >>=20 >> A list of my own errors would not really be welcome but in >> any case appreciated. :)) >>=20 >> A Coverity run over makefs would make sense if my proposals >> get implemented in some way. I hope they are safe, but one >> never knows. >>=20 >>=20 >> Have a nice day :) >>=20 >> Thomas >=20 > Nope. Coverity only runs on CURRENT. It only knows how to check C and > C++ code, so it wouldn't be very useful in ports, anyway. Thanks a > lot for the bug report! >=20 > -Alan > _______________________________________________ > freebsd-hackers@freebsd.org mailing list > https://lists.freebsd.org/mailman/listinfo/freebsd-hackers > To unsubscribe, send any mail to "freebsd-hackers-unsubscribe@freebsd.org"=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?62905755-63CE-430E-A6AA-D3FCE3EF347A>