2026-05-03 22:25
ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-vorbis/ocaml-vorbis_0.8.0.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-111-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.70
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04.1) 14.2.0
cppcheck: head 2.20.0
head-info: e5c4a73 (2026-05-01 11:10:43 +0200)
count: 31 31
elapsed-time: 0.3 0.2
head-timing-info:

old-timing-info:

head results:
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:134:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:156:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vc [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:190:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:243:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vb [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:315:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vd [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:403:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:410:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vd [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:442:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vd [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:581:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:598:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable block [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:697:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Double_wosize [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:744:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:765:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:805:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cmts [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:920:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable packet [valueFlowBailoutIncompleteVar]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:216:5: error: Memory pointed to by 'vt' is freed twice. [doubleFree]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:208:5: note: Memory pointed to by 'vt' is freed twice.
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:216:5: note: Memory pointed to by 'vt' is freed twice.
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:224:5: error: Memory pointed to by 'vt' is freed twice. [doubleFree]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:208:5: note: Memory pointed to by 'vt' is freed twice.
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:224:5: note: Memory pointed to by 'vt' is freed twice.
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:669:33: error: Dereferencing 'buf' after it is deallocated / released [deallocuse]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:670:3: error: Memory pointed to by 'buf' is freed twice. [doubleFree]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:666:5: note: Memory pointed to by 'buf' is freed twice.
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:670:3: note: Memory pointed to by 'buf' is freed twice.
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:604:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assuming allocation function fails
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:604:3: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:605:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assuming allocation function fails
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:605:3: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:607:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assuming allocation function fails
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:607:3: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:609:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assuming allocation function fails
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:609:3: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:611:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assuming allocation function fails
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:611:3: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:614:31: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assuming allocation function fails
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:602:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:614:31: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:669:33: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:654:15: note: Assuming allocation function fails
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:654:15: note: Assignment 'buf=malloc(len)', assigned value is 0
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:669:33: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:693:13: warning: Either the condition '!df->ovf' is redundant or there is possible null pointer dereference: df->ovf. [nullPointerRedundantCheck]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:691:7: note: Assuming that condition '!df->ovf' is not redundant
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:693:13: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:731:13: warning: Either the condition '!df->ovf' is redundant or there is possible null pointer dereference: df->ovf. [nullPointerRedundantCheck]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:729:7: note: Assuming that condition '!df->ovf' is not redundant
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:731:13: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:805:27: warning: Either the condition '!vc' is redundant or there is possible null pointer dereference: vc. [nullPointerRedundantCheck]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:801:7: note: Assuming that condition '!vc' is not redundant
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:805:27: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:806:19: warning: Either the condition '!vc' is redundant or there is possible null pointer dereference: vc. [nullPointerRedundantCheck]
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:801:7: note: Assuming that condition '!vc' is not redundant
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:806:19: note: Null pointer dereference
ocaml-vorbis-0.8.0/src/vorbis_stubs.c:245:16: style: Variable 'vi' can be declared as pointer to const [constVariablePointer]
diff:


DONE