2024-04-21 09:21
ftp://ftp.de.debian.org/debian/pool/main/p/pycaml/pycaml_0.82.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=python  --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --disable=missingInclude --suppress=unmatchedSuppression --template=daca2 --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.6.15-amd64-x86_64-with-glibc2.37
python: 3.11.8
client-version: 1.3.49
compiler: g++ (Debian 13.2.0-13) 13.2.0
cppcheck: head 2.14.0
head-info: ba9216e (2024-04-21 10:55:26 +0200)
count: 19 19
elapsed-time: 0.2 0.2
head-timing-info:
 Tokenizer::simplifyTokens1::ValueFlow: 0.023823s (avg. 0.023823s - 1 result(s))
 valueFlowUninit(tokenlist, errorLogger, settings): 0.009086s (avg. 0.004543s - 2 result(s))
 Tokenizer::simplifyTokens1::createSymbolDatabase: 0.007662s (avg. 0.007662s - 1 result(s))
 valueFlowSymbolic(tokenlist, symboldatabase, errorLogger, settings): 0.006977s (avg. 0.006977s - 1 result(s))
 Tokenizer::simplifyTokens1::setValueType: 0.006052s (avg. 0.006052s - 1 result(s))
 Overall time: 0.059866s

old-timing-info:
 Tokenizer::simplifyTokens1::ValueFlow: 0.024095s (avg. 0.024095s - 1 result(s))
 valueFlowUninit(tokenlist, errorLogger, settings): 0.009198s (avg. 0.004599s - 2 result(s))
 Tokenizer::simplifyTokens1::createSymbolDatabase: 0.007599s (avg. 0.007599s - 1 result(s))
 valueFlowSymbolic(tokenlist, symboldatabase, errorLogger, settings): 0.006975s (avg. 0.006975s - 1 result(s))
 Tokenizer::simplifyTokens1::setValueType: 0.005909s (avg. 0.005909s - 1 result(s))
 Overall time: 0.056068s

head results:
pycaml/pycaml_ml.c:62:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:72:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:89:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:98:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:106:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:171:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rv [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:1264:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable retv [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:1302:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:1318:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:1341:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rv [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:1368:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyMethodDef [valueFlowBailoutIncompleteVar]
pycaml/pycaml_ml.c:91:36: warning: Possible null pointer dereference: aux_str [nullPointer]
pycaml/pycaml_ml.c:890:35: note: Calling function 'camlwrap', 2nd argument 'NULL' value is 0
pycaml/pycaml_ml.c:91:36: note: Null pointer dereference
pycaml/pycaml_ml.c:38:43: style: Parameter 'dst' can be declared as pointer to const [constParameterPointer]
pycaml/pycaml_ml.c:88:38: style: Parameter 'aux_str' can be declared as pointer to const [constParameterPointer]
pycaml/pycaml_ml.c:91:21: portability: '(void*)v' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
pycaml/pycaml_ml.c:98:21: portability: '(void*)v' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
pycaml/pycaml_ml.c:180:9: style: Variable 'reflect' is assigned a value that is never used. [unreadVariable]
pycaml/pycaml_ml.c:1331:4: style: Variable 'x' is assigned a value that is never used. [unreadVariable]
pycaml/pycaml_ml.c:91:36: error: Null pointer dereference: aux_str [ctunullpointer]
pycaml/pycaml_ml.c:890:31: note: Calling function camlwrap, 2nd argument is null
pycaml/pycaml_ml.c:91:36: note: Dereferencing argument aux_str that is null
diff:


DONE