2026-05-03 22:24
ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-ssl/ocaml-ssl_0.7.0.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=openssl  --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: 63 61
elapsed-time: 0.3 0.2
head-timing-info:

old-timing-info:

head results:
ocaml-ssl-0.7.0/src/ssl_stubs.c:68:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:119:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable some [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:179:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CRYPTO_LOCK [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:203:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CRYPTO_LOCK [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:246:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:278:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:375:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL3_VERSION [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:417:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:457:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:485:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TLS1_3_VERSION [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:545:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable block [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:589:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:615:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:633:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_FILETYPE_PEM [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:681:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:710:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vdigest [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:765:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:777:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_VERIFY_NONE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:831:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:839:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable X509_NAME [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:860:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_emptylist [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:869:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_emptylist [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:893:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:902:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable protocol_list [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:938:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable protocol_list [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:970:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1001:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1017:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_OP_CIPHER_SERVER_PREFERENCE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1041:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1052:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1140:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_OP_SINGLE_DH_USE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1174:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_OP_SINGLE_ECDH_USE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1202:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable block [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1250:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1268:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable block [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1311:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1358:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1391:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable block [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1427:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1442:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1447:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable proto [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1484:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_ERROR_NONE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1519:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1530:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable X509_CHECK_FLAG_ALWAYS_CHECK_SUBJECT [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1566:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1578:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1604:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_ERROR_NONE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1651:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_ERROR_NONE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1701:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_ERROR_NONE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1748:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_ERROR_NONE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1786:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SSL_ERROR_NONE [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1821:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1940:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1220:3: error: Resource handle 'fh' freed twice. [doubleFree]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1214:5: note: Resource handle 'fh' freed twice.
ocaml-ssl-0.7.0/src/ssl_stubs.c:1220:3: note: Resource handle 'fh' freed twice.
ocaml-ssl-0.7.0/src/ssl_stubs.c:1247:3: error: Resource handle 'fh' freed twice. [doubleFree]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1241:5: note: Resource handle 'fh' freed twice.
ocaml-ssl-0.7.0/src/ssl_stubs.c:1247:3: note: Resource handle 'fh' freed twice.
ocaml-ssl-0.7.0/src/ssl_stubs.c:971:4: warning: If memory allocation fails, then there is a possible null pointer dereference: select_cb [nullPointerOutOfMemory]
ocaml-ssl-0.7.0/src/ssl_stubs.c:970:21: note: Assuming allocation function fails
ocaml-ssl-0.7.0/src/ssl_stubs.c:970:21: note: Assignment 'select_cb=malloc(sizeof(value))', assigned value is 0
ocaml-ssl-0.7.0/src/ssl_stubs.c:971:4: note: Null pointer dereference
ocaml-ssl-0.7.0/src/ssl_stubs.c:1002:4: warning: If memory allocation fails, then there is a possible null pointer dereference: pcb [nullPointerOutOfMemory]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1001:15: note: Assuming allocation function fails
ocaml-ssl-0.7.0/src/ssl_stubs.c:1001:15: note: Assignment 'pcb=malloc(sizeof(value))', assigned value is 0
ocaml-ssl-0.7.0/src/ssl_stubs.c:1002:4: note: Null pointer dereference
ocaml-ssl-0.7.0/src/ssl_stubs.c:1596:11: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1586:21: note: Assuming allocation function fails
ocaml-ssl-0.7.0/src/ssl_stubs.c:1586:21: note: Assignment 'buf=malloc(buflen)', assigned value is 0
ocaml-ssl-0.7.0/src/ssl_stubs.c:1596:11: note: Null pointer dereference
ocaml-ssl-0.7.0/src/ssl_stubs.c:1698:58: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1683:21: note: Assuming allocation function fails
ocaml-ssl-0.7.0/src/ssl_stubs.c:1683:21: note: Assignment 'buf=malloc(buflen)', assigned value is 0
ocaml-ssl-0.7.0/src/ssl_stubs.c:1698:58: note: Null pointer dereference
ocaml-ssl-0.7.0/src/ssl_stubs.c:1923:39: style:inconclusive: Function 'client_verify_callback' argument 1 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1923:59: style:inconclusive: Function 'client_verify_callback' argument 2 names different: declaration '<unnamed>' definition 'ctx'. [funcArgNamesDifferentUnnamed]
ocaml-ssl-0.7.0/src/ssl_stubs.c:839:23: warning:inconclusive: Found suspicious operator '*', result is not used. [constStatement]
ocaml-ssl-0.7.0/src/ssl_stubs.c:1059:7: style: Unused variable: ret [unusedVariable]
diff:
head ocaml-ssl-0.7.0/src/ssl_stubs.c:1923:39: style:inconclusive: Function 'client_verify_callback' argument 1 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
head ocaml-ssl-0.7.0/src/ssl_stubs.c:1923:59: style:inconclusive: Function 'client_verify_callback' argument 2 names different: declaration '<unnamed>' definition 'ctx'. [funcArgNamesDifferentUnnamed]


DONE