Coverity report for ltp-20130503
A message that is not in the archive (sent off-list or not yet received): [email protected]
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
Regards,
Jan
------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book "Graph Databases" is the definitive new guide to graph databases and their applications. This 200-page book is written by three acclaimed leaders in the field. The early access version is available now. Download your free book today! http://p.sf.net/sfu/neotech_d2d_may
_______________________________________________
Ltp-list mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/ltp-list
Hi!
Quoted 5 lines
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.
Quoted 7 lines
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_64x86_64This 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()
Signature · 13 lines
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