bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: llvm / clang / scan-build of the Hurd


From: Samuel Thibault
Subject: Re: llvm / clang / scan-build of the Hurd
Date: Tue, 4 Feb 2014 19:31:54 +0100
User-agent: Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30)

Justus Winter, le Tue 04 Feb 2014 10:46:01 +0100, a écrit :
> Quoting Thomas Schwinge (2013-10-25 15:48:06)
> > When I recently read about it somewhere, I've also had the idea about
> > feeding the Hurd code into the Coverity scanner, which I think offers
> > such a service for Free Software projects.  I also thought about dping
> > the same for GNU Mach and glibc, and for each of these, including the
> > stub files generated by MIG, for "self-containedness".
> 
> I setup a coverity project for GNU Mach:
> 
> https://scan.coverity.com/projects/1307

I've gone through the results.

There are the two bugs in device/net_io.c which I haven't fixed and can
be concerning, since they would imply injecting a bogus BPF filter could
make the kernel crash.  I guess a thorough look at the whole code would
be good to catch all such kinds of issues.

There is also the assert(thread->wait_status = -1); which look like they
could have been intentional, I don't know without looking closer at the
source code.

1167452 is probably worth checking.

The FPU fixups are definitely to be cherry-picked by the debian package.

Samuel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]