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() -- 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
