2026-01-15 13:06
ftp://ftp.de.debian.org/debian/pool/main/w/wala/wala_1.5.2.orig.tar.xz
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 -j90
platform: Linux-6.8.0-90-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.69
compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0
cppcheck: head 2.19.0
head-info: a8f83c1 (2026-01-15 10:50:53 +0100)
count: 71 71
elapsed-time: 0.0 0.1
head-timing-info:

old-timing-info:

head results:
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke.cpp:18:3: error: There is an unknown macro here somewhere. Configuration is required. If CATCH is a macro then please configure it. [unknownMacro]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/Java_com_ibm_wala_cast_ir_translator_NativeBridge.cpp:12:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable jclass [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/launch.cpp:18:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable optionString [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/Exceptions.cpp:15:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _jre [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/Exceptions.cpp:50:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _c_env [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/Exceptions.cpp:63:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _c_env [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:34:10: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:29: note: Assuming allocation function fails
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:15: note: Assignment 'buf=(char*)malloc((strlen(argv[1])+100)*sizeof(char))', assigned value is 0
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:34:10: note: Null pointer dereference
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:36:21: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:29: note: Assuming allocation function fails
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:15: note: Assignment 'buf=(char*)malloc((strlen(argv[1])+100)*sizeof(char))', assigned value is 0
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:36:21: note: Null pointer dereference
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:40:25: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:29: note: Assuming allocation function fails
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:15: note: Assignment 'buf=(char*)malloc((strlen(argv[1])+100)*sizeof(char))', assigned value is 0
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:40:25: note: Null pointer dereference
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:46:21: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:29: note: Assuming allocation function fails
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:15: note: Assignment 'buf=(char*)malloc((strlen(argv[1])+100)*sizeof(char))', assigned value is 0
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:44:31: note: Assuming condition is false
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:46:21: note: Null pointer dereference
WALA-R_1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:15: style: C-style pointer casting [cstyleCast]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/launch.cpp:31:42: style: C-style pointer casting [cstyleCast]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:67:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable initialized [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:248:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:254:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CAstNode [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:274:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:282:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:291:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:301:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:312:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:324:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:337:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:344:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:351:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:358:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:365:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:372:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:379:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:386:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:393:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:400:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:407:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:419:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:425:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable getChild [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:431:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _getChildCount [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:437:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _getKind [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:443:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable getValue [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:450:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:463:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable getValue [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:475:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable getValue [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:482:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable getValue [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:493:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable getValue [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:502:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable getValue [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:508:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CAstNode [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:518:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:523:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CAstNode [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:528:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:540:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:553:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:565:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable callReference [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:569:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _getEntityName [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:584:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:593:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:606:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:621:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:629:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable addScopedEntity [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:633:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable codeSetGotoTarget [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:652:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable codeSetLabelledGotoTarget [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:656:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable setPosition [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:660:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable setNodePosition [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:664:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable setNodeType [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:675:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:683:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:689:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:698:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable astField [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:705:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable astField [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:710:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable entityGetType [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:716:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable java_ex [valueFlowBailoutIncompleteVar]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:514:66: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:544:66: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
WALA-R_1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp:557:66: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
diff:


DONE