From: Jan S. <jst...@re...> - 2013-10-04 08:08:22
|
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 |