From: Jan S. <jst...@re...> - 2013-03-20 09:57:48
|
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 --all analyzer-version Coverity Static Analysis for C/C++ version 6.5.1 on Linux 2.6.32-279.el6.x86_64 x86_64 This run is with LTP git snapshot from 20130320 (on top of RHEL6.4), the results now include also Open Posix testcases: http://jan.stancek.eu/coverity/ltp-20130320-1.el6.err.xz Regards, Jan |