[LTP] Coverity report for ltp-20130503

[LTP] Coverity report for ltp-20130503

[Jan Stancek]

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
Ltp-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ltp-list

Re: [LTP] Coverity report for ltp-20130503

[chrubis]

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
chrubis@suse.cz

------------------------------------------------------------------------------
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
Ltp-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ltp-list