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
