Re: Status of static analysis

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

 



On Tue, 3 Jan 2017, Gregory Farnum wrote:
> On Tue, Jan 3, 2017 at 4:44 PM, Brad Hubbard <bhubbard@xxxxxxxxxx> wrote:
> >
> >
> > On Wed, Jan 4, 2017 at 10:30 AM, Gregory Farnum <gfarnum@xxxxxxxxxx> wrote:
> >> On Sun, Dec 18, 2016 at 6:45 PM, Brad Hubbard <bhubbard@xxxxxxxxxx> wrote:
> >>> As you would have noticed in recent weeks we have returned to  running a
> >>> Coverity test over the source tree on a weekly basis. In addition, I have been
> >>> running Clang Static Analyzer and Cppcheck scans. Until we can find a better
> >>> home for these and include at least one of them in our CI processes I will be
> >>> hosting them at http://people.redhat.com/bhubbard/
> >>
> >> So...is there some way for people to feed back into that as we
> >> evaluate stuff? For instance I looked at one of the use-after-free
> >> reports[1] and it's incorrect and I think there's a way to tell
> >> Coverity so, but I've no idea how.
> >> -Greg
> >>
> >> [1]: http://people.redhat.com/bhubbard/scan-build.16-12-30/report-46bfed.html#EndPath
> >
> > Hi Greg,
> >
> > That report is from Clang Static Analyzer (not Coverity) and I am happy to
> > coordinate feedback as best I can for now.
> 
> D'oh, I was just substituting that everywhere in my head for some
> reason. :o Sorry and thanks.

There is also a coverity UI can you can request access to

	https://scan.coverity.com/projects/ceph?tab=overview

but it is probably better to figure out the code annotations so we don't 
rely on state in the tool's database.

sage
--
To unsubscribe from this list: send the line "unsubscribe ceph-devel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [CEPH Users]     [Ceph Large]     [Information on CEPH]     [Linux BTRFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]
  Powered by Linux