2026-05-05 04:18 ftp://ftp.de.debian.org/debian/pool/main/s/storm/storm_1.1.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --library=python --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: 519958a (2026-05-04 15:03:10 +0200) count: 37 37 elapsed-time: 0.4 0.3 head-timing-info: old-timing-info: head results: storm-1.1/storm/cextensions.c:116:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_RuntimeError [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:261:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:317:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:391:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:532:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_True [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:552:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_False [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:703:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:728:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:771:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:922:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:962:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_True [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1007:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1019:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1135:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1282:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1319:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_True [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1354:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1380:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_False [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1431:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1523:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_LT [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1683:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1926:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1941:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:1986:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_False [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:2126:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyObject_GenericGetAttr [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:2146:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyDict_Type [valueFlowBailoutIncompleteVar] storm-1.1/storm/cextensions.c:2159:5: warning: Return value of function PyModule_AddObject() is not used. [ignoredReturnValue] storm-1.1/storm/cextensions.c:2160:5: warning: Return value of function PyModule_AddObject() is not used. [ignoredReturnValue] storm-1.1/storm/cextensions.c:2161:5: warning: Return value of function PyModule_AddObject() is not used. [ignoredReturnValue] storm-1.1/storm/cextensions.c:2162:5: warning: Return value of function PyModule_AddObject() is not used. [ignoredReturnValue] storm-1.1/storm/cextensions.c:924:51: style: Condition 'old_value!=Undef' is always true [knownConditionTrueFalse] storm-1.1/storm/cextensions.c:803:42: style: Local variable 'tmp' shadows outer variable [shadowVariable] storm-1.1/storm/cextensions.c:775:15: note: Shadowed declaration storm-1.1/storm/cextensions.c:803:42: note: Shadow variable storm-1.1/storm/cextensions.c:951:37: style: Parameter 'self' can be declared as pointer to const. However it seems that 'Variable_is_defined' is a callback function, if 'self' is declared with const you might also need to cast function pointer(s). [constParameterCallback] storm-1.1/storm/cextensions.c:1062:33: note: You might need to cast the function pointer here storm-1.1/storm/cextensions.c:951:37: note: Parameter 'self' can be declared as pointer to const storm-1.1/storm/cextensions.c:951:53: style: Parameter 'args' can be declared as pointer to const. However it seems that 'Variable_is_defined' is a callback function, if 'args' is declared with const you might also need to cast function pointer(s). [constParameterCallback] storm-1.1/storm/cextensions.c:1062:33: note: You might need to cast the function pointer here storm-1.1/storm/cextensions.c:951:53: note: Parameter 'args' can be declared as pointer to const storm-1.1/storm/cextensions.c:1381:15: style: Variable 'item' can be declared as pointer to const [constVariablePointer] storm-1.1/storm/cextensions.c:1979:34: style: Parameter 'self' can be declared as pointer to const. However it seems that 'ObjectInfo_richcompare' is a callback function, if 'self' is declared with const you might also need to cast function pointer(s). [constParameterCallback] storm-1.1/storm/cextensions.c:2061:5: note: You might need to cast the function pointer here storm-1.1/storm/cextensions.c:1979:34: note: Parameter 'self' can be declared as pointer to const storm-1.1/storm/cextensions.c:1979:50: style: Parameter 'other' can be declared as pointer to const. However it seems that 'ObjectInfo_richcompare' is a callback function, if 'other' is declared with const you might also need to cast function pointer(s). [constParameterCallback] storm-1.1/storm/cextensions.c:2061:5: note: You might need to cast the function pointer here storm-1.1/storm/cextensions.c:1979:50: note: Parameter 'other' can be declared as pointer to const diff: DONE