2026-10-06 03:49
ftp://ftp.de.debian.org/debian/pool/main/d/damo/damo_3.4.1.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.12.107+deb13-amd64-x86_64-with-glibc2.41
python: 3.12.14
client-version: 1.4.0
compiler: g++ (Debian 14.2.0-19) 14.2.0
cppcheck: head 2.22.0
head-info: 746b3a7 (2026-10-04 08:53:56 +0200)
count: 1 1
elapsed-time: 0.0 0.0
head-timing-info:

old-timing-info:

head results:
damo-3.4.1/tests/schemes/alloc_1gb_spin.c:10:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mem [nullPointerOutOfMemory]
damo-3.4.1/tests/schemes/alloc_1gb_spin.c:6:20: note: Assuming allocation function fails
damo-3.4.1/tests/schemes/alloc_1gb_spin.c:6:20: note: Assignment 'mem=malloc(1024*1024*1024)', assigned value is 0
damo-3.4.1/tests/schemes/alloc_1gb_spin.c:10:3: note: Null pointer dereference
diff:


DONE