2025-05-06 16:18
ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-theora/ocaml-theora_0.4.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-59-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.67
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.17.0
head-info: 56be00d (2025-05-06 17:27:07 +0200)
count: 21 21
elapsed-time: 0.2 0.2
head-timing-info:

old-timing-info:

head results:
ocaml-theora-0.4.0/src/theora_stubs.c:85:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_CS_UNSPECIFIED [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:123:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_PF_420 [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:187:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:217:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable width [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:253:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ret [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:354:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_EINVAL [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:420:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_true [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:432:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:498:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:549:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_true [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:556:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ret [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:584:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ogg_packet [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:678:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable packet [valueFlowBailoutIncompleteVar]
ocaml-theora-0.4.0/src/theora_stubs.c:349:3: warning: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory]
ocaml-theora-0.4.0/src/theora_stubs.c:340:30: note: Assuming allocation function fails
ocaml-theora-0.4.0/src/theora_stubs.c:340:30: note: Assignment 'state=malloc(sizeof(struct enc_state_t))', assigned value is 0
ocaml-theora-0.4.0/src/theora_stubs.c:349:3: note: Null pointer dereference
ocaml-theora-0.4.0/src/theora_stubs.c:350:7: warning: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory]
ocaml-theora-0.4.0/src/theora_stubs.c:340:30: note: Assuming allocation function fails
ocaml-theora-0.4.0/src/theora_stubs.c:340:30: note: Assignment 'state=malloc(sizeof(struct enc_state_t))', assigned value is 0
ocaml-theora-0.4.0/src/theora_stubs.c:350:7: note: Null pointer dereference
ocaml-theora-0.4.0/src/theora_stubs.c:356:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory]
ocaml-theora-0.4.0/src/theora_stubs.c:340:30: note: Assuming allocation function fails
ocaml-theora-0.4.0/src/theora_stubs.c:340:30: note: Assignment 'state=malloc(sizeof(struct enc_state_t))', assigned value is 0
ocaml-theora-0.4.0/src/theora_stubs.c:356:3: note: Null pointer dereference
ocaml-theora-0.4.0/src/theora_stubs.c:357:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory]
ocaml-theora-0.4.0/src/theora_stubs.c:340:30: note: Assuming allocation function fails
ocaml-theora-0.4.0/src/theora_stubs.c:340:30: note: Assignment 'state=malloc(sizeof(struct enc_state_t))', assigned value is 0
ocaml-theora-0.4.0/src/theora_stubs.c:357:3: note: Null pointer dereference
ocaml-theora-0.4.0/src/theora_stubs.c:562:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory]
ocaml-theora-0.4.0/src/theora_stubs.c:557:30: note: Assuming allocation function fails
ocaml-theora-0.4.0/src/theora_stubs.c:557:30: note: Assignment 'state=malloc(sizeof(struct dec_state_t))', assigned value is 0
ocaml-theora-0.4.0/src/theora_stubs.c:562:3: note: Null pointer dereference
ocaml-theora-0.4.0/src/theora_stubs.c:563:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory]
ocaml-theora-0.4.0/src/theora_stubs.c:557:30: note: Assuming allocation function fails
ocaml-theora-0.4.0/src/theora_stubs.c:557:30: note: Assignment 'state=malloc(sizeof(struct dec_state_t))', assigned value is 0
ocaml-theora-0.4.0/src/theora_stubs.c:563:3: note: Null pointer dereference
ocaml-theora-0.4.0/src/theora_stubs.c:564:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory]
ocaml-theora-0.4.0/src/theora_stubs.c:557:30: note: Assuming allocation function fails
ocaml-theora-0.4.0/src/theora_stubs.c:557:30: note: Assignment 'state=malloc(sizeof(struct dec_state_t))', assigned value is 0
ocaml-theora-0.4.0/src/theora_stubs.c:564:3: note: Null pointer dereference
ocaml-theora-0.4.0/src/theora_stubs.c:442:21: error: Uninitialized variable: yb [uninitvar]
diff:


DONE