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.3 on Linux 
2.6.32-279.el6.x86_64 x86_64

This run includes snapshot of LTP git tree from 20130904 (on top of RHEL6).
Results include also Open Posix testcases, flags: defaults, -MISSING_BREAK:
http://jan.stancek.eu/coverity/ltp-20130904-2.el6.err.xz

Regards,
Jan

------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from 
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60134791&iu=/4140/ostg.clktrk
_______________________________________________
Ltp-list mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/ltp-list

Reply via email to