2026-05-03 18:03 ftp://ftp.de.debian.org/debian/pool/main/m/mysql-ocaml/mysql-ocaml_1.2.4.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: 41 41 elapsed-time: 0.3 0.1 head-timing-info: old-timing-info: head results: ocaml-mysql-1.2.4/mysql_stubs.c:102:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable some [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:143:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:221:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_emptylist [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:293:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:319:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:326:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable dbs [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:379:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:394:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:413:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:451:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:508:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fields [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:532:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:555:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable s [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:579:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:601:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:640:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:693:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable info [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:701:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable info [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:709:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable info [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:787:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:825:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable field [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:843:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable field [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:851:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fields [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:910:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:960:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:981:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MYSQL_BIND [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:997:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MYSQL_TYPE_STRING [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:1006:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MYSQL_TYPE_NULL [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:1014:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MYSQL_TYPE_STRING [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:1025:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable str [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:1096:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:1159:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable arr [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:1204:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar] ocaml-mysql-1.2.4/mysql_stubs.c:925:48: error: Dereferencing 'sql_c' after it is deallocated / released [deallocuse] ocaml-mysql-1.2.4/mysql_stubs.c:926:3: error: Memory pointed to by 'sql_c' is freed twice. [doubleFree] ocaml-mysql-1.2.4/mysql_stubs.c:921:5: note: Memory pointed to by 'sql_c' is freed twice. ocaml-mysql-1.2.4/mysql_stubs.c:926:3: note: Memory pointed to by 'sql_c' is freed twice. ocaml-mysql-1.2.4/mysql_stubs.c:787:27: warning: Either the condition '!f' is redundant or there is possible null pointer dereference: f. [nullPointerRedundantCheck] ocaml-mysql-1.2.4/mysql_stubs.c:840:7: note: Assuming that condition '!f' is not redundant ocaml-mysql-1.2.4/mysql_stubs.c:843:22: note: Calling function 'make_field', 1st argument 'f' value is 0 ocaml-mysql-1.2.4/mysql_stubs.c:787:27: note: Null pointer dereference ocaml-mysql-1.2.4/mysql_stubs.c:789:7: warning: Either the condition '!f' is redundant or there is possible null pointer dereference: f. [nullPointerRedundantCheck] ocaml-mysql-1.2.4/mysql_stubs.c:840:7: note: Assuming that condition '!f' is not redundant ocaml-mysql-1.2.4/mysql_stubs.c:843:22: note: Calling function 'make_field', 1st argument 'f' value is 0 ocaml-mysql-1.2.4/mysql_stubs.c:789:7: note: Null pointer dereference ocaml-mysql-1.2.4/mysql_stubs.c:925:48: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: sql_c [nullPointerOutOfMemory] ocaml-mysql-1.2.4/mysql_stubs.c:914:23: note: Assuming allocation function fails ocaml-mysql-1.2.4/mysql_stubs.c:914:23: note: Assignment 'sql_c=strdup(String_val(v_sql))', assigned value is 0 ocaml-mysql-1.2.4/mysql_stubs.c:925:48: note: Null pointer dereference ocaml-mysql-1.2.4/mysql_stubs.c:489:18: style: Variable 'length' can be declared as pointer to const [constVariablePointer] ocaml-mysql-1.2.4/mysql_stubs.c:876:24: style: Parameter 'stmt' can be declared as pointer to const [constParameterPointer] ocaml-mysql-1.2.4/mysql_stubs.c:787:27: warning: Null pointer dereference: f [ctunullpointer] ocaml-mysql-1.2.4/mysql_stubs.c:822:7: note: Assuming that condition '!f' is not redundant ocaml-mysql-1.2.4/mysql_stubs.c:825:21: note: Calling function make_field, 1st argument is null ocaml-mysql-1.2.4/mysql_stubs.c:787:27: note: Dereferencing argument f that is null diff: DONE