infer issues on libvorbis
Facebook's infer static analysis tool complains about some possible null dereferences in libvorbis and libvorbisfile:
Starting analysis (Infer version git-4526ada822d01728c4ac0ac30fd2f9a2aa115c0f) Analysis done
22 files analyzed
lib/block.c:110: error: NULL_DEREFERENCE pointer link last assigned on line 108 could be null and is dereferenced at line 110, column 7
lib/codebook.c:152: error: NULL_DEREFERENCE pointer s last assigned on line 151 could be null and is dereferenced at line 152, column 3
lib/floor0.c:79: error: NULL_DEREFERENCE pointer info last assigned on line 78 could be null and is dereferenced at line 79, column 3
lib/floor0.c:139: error: NULL_DEREFERENCE pointer *look->linearmap[W] last assigned on line 134 could be null and is dereferenced at line 139, column 7
lib/floor0.c:153: error: NULL_DEREFERENCE pointer look last assigned on line 149 could be null and is dereferenced at line 153, column 3
lib/floor1.c:123: error: NULL_DEREFERENCE pointer info last assigned on line 121 could be null and is dereferenced at line 123, column 3
lib/floor1.c:191: error: NULL_DEREFERENCE pointer look last assigned on line 186 could be null and is dereferenced at line 191, column 3
lib/floor1.c:745: error: NULL_DEREFERENCE pointer output last assigned on line 741 could be null and is dereferenced at line 745, column 7
lib/floor1.c:968: error: NULL_DEREFERENCE pointer fit_value last assigned on line 966 could be null and is dereferenced at line 968, column 5
lib/info.c:60: error: NULL_DEREFERENCE pointer vc->comment_lengths last assigned on line 58 could be null and is dereferenced at line 60, column 3
lib/mdct.c:66: error: NULL_DEREFERENCE pointer T last assigned on line 54 could be null and is dereferenced at line 66, column 5
lib/psy.c:41: error: NULL_DEREFERENCE pointer look last assigned on line 39 could be null and is dereferenced at line 41, column 3
lib/res0.c:200: error: NULL_DEREFERENCE pointer info last assigned on line 197 could be null and is dereferenced at line 200, column 3
lib/res0.c:268: error: NULL_DEREFERENCE pointer look last assigned on line 262 could be null and is dereferenced at line 268, column 3
lib/res0.c:430: error: NULL_DEREFERENCE pointer partword last assigned on line 422 could be null and is dereferenced at line 430, column 5
lib/res0.c:496: error: NULL_DEREFERENCE pointer partword last assigned on line 489 could be null and is dereferenced at line 496, column 3
lib/res0.c:790: error: NULL_DEREFERENCE pointer work last assigned on line 785 could be null and is dereferenced at line 790, column 7
lib/vorbisfile.c:199: error: NULL_DEREFERENCE pointer *serialno_list last assigned on line 196 could be null and is dereferenced at line 199, column 3
lib/vorbisfile.c:2324: error: NULL_DEREFERENCE pointer vi last assigned on line 2321 could be null and is dereferenced at line 2324, column 7
lib/vorbisfile.c:2385: error: NULL_DEREFERENCE pointer vi last assigned on line 2382 could be null and is dereferenced at line 2385, column 7