----- Original Message ----- > From: [email protected] > To: "Jan Stancek" <[email protected]> > Cc: "ltp-list" <[email protected]> > Sent: Tuesday, 4 June, 2013 5:57:46 PM > Subject: Re: [LTP] Coverity report for ltp-20130503 > > Hi! > > What is Coverity? > > Coverity Prevent is commercial enterprise level tool for static analysis > > (analysis based only on compiling of sources, not based on running of > > binary) > > of the C/C++ and Java code. > > > > analyzer: coverity > > analyzer-args: --wait-for-license -co BAD_FREE:allow_first_field:true > > analyzer-version: Coverity Static Analysis for C/C++ version 6.5.2 on Linux > > 2.6.32-279.el6.x86_64 x86_64 > > > > This run includes snapshot of LTP git tree from 20130503 (on top of > > RHEL6.4). > > Results include also Open Posix testcases and use default coverity flags: > > http://jan.stancek.eu/coverity/ltp-20130503-1.el6.err.xz > > Thanks for the report. I've taken care of several bugs in mprotect > testcases and continue to look at the results. > > We may consider disabling MISSING_BREAK check for switch() statements as > majority of the reports are false possitives because coverity does not > understand __attribute__ noreturn for tst_brkm()
Thanks for feedback, next time I'll look into options for disabling this check. Regards, Jan > > -- > Cyril Hrubis > [email protected] > ------------------------------------------------------------------------------ How ServiceNow helps IT people transform IT departments: 1. A cloud service to automate IT design, transition and operations 2. Dashboards that offer high-level views of enterprise services 3. A single system of record for all IT processes http://p.sf.net/sfu/servicenow-d2d-j _______________________________________________ Ltp-list mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/ltp-list
