[dvblast-devel] clang static checker results (8 errors)

Georgi Chorbadzhiyski gf at unixsol.org
Sun Feb 1 00:05:26 CET 2015


I've run clang static checker on dvblast and the results are attached. It shows
some disturbing errors which to me look like they're real.

Can somebody more familiar with the code please take a look?

Errors summary:
  Logic error
    Branch condition evaluates to a garbage value             3
    Uninitialized argument value                              1
  Unix API
    Allocator sizeof operand mismatch                         2
    Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)   2

The logic errors are the ones that bother me most also the possible zero
size allocations. The sizeof() ones looks harmless.

To run the check locally, you need to have clang (I use 3.4) installed
then run: `scan-build make` to generate the report.

-- 
Georgi Chorbadzhiyski | http://georgi.unixsol.org/ | http://github.com/gfto/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: dvblast-scan-build-2015-02-01-004833-17668-1.tar.bz2
Type: application/x-bzip2
Size: 90664 bytes
Desc: not available
URL: <http://mailman.videolan.org/pipermail/dvblast-devel/attachments/20150201/a49e8b66/attachment-0001.bin>


More information about the dvblast-devel mailing list