2026-05-27 09:20
ftp://ftp.de.debian.org/debian/pool/main/g/golang-github-mit-plv-fiat-crypto/golang-github-mit-plv-fiat-crypto_0.1.6.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.8.0-117-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: 96d4a96 (2026-05-27 09:37:54 +0200)
count: 40 40
elapsed-time: 453.4 431.6
head-timing-info:

old-timing-info:

head results:
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:95:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cycles [nullPointerOutOfMemory]
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assuming allocation function fails
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assignment 'cycles=calloc(n+1,sizeof(long long))', assigned value is 0
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:105:26: note: Calling function 'measure_helper', 3rd argument 'cycles' value is 0
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:95:4: note: Null pointer dereference
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:106:29: warning: If memory allocation fails, then there is a possible null pointer dereference: cycles [nullPointerOutOfMemory]
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assuming allocation function fails
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assignment 'cycles=calloc(n+1,sizeof(long long))', assigned value is 0
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:106:29: note: Null pointer dereference
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:106:41: warning: If memory allocation fails, then there is a possible null pointer dereference: cycles [nullPointerOutOfMemory]
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assuming allocation function fails
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assignment 'cycles=calloc(n+1,sizeof(long long))', assigned value is 0
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:106:41: note: Null pointer dereference
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:106:57: warning: If memory allocation fails, then there is a possible null pointer dereference: cycles [nullPointerOutOfMemory]
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assuming allocation function fails
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assignment 'cycles=calloc(n+1,sizeof(long long))', assigned value is 0
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:106:57: note: Null pointer dereference
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:107:46: warning: If memory allocation fails, then there is a possible null pointer dereference: cycles [nullPointerOutOfMemory]
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assuming allocation function fails
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:103:29: note: Assignment 'cycles=calloc(n+1,sizeof(long long))', assigned value is 0
golang-github-mit-plv-fiat-crypto-0.1.6/etc/measure.c:107:46: note: Null pointer dereference
golang-github-mit-plv-fiat-crypto-0.1.6/etc/tscfreq.c:17:3: style: Obsolescent function 'usleep' called. It is recommended to use 'nanosleep' or 'setitimer' instead. [prohibitedusleepCalled]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/curve25519_32.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/curve25519_64.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/curve25519_scalar_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/curve25519_scalar_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/curve25519_solinas_64.c:32:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p224_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p224_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p256_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p256_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p256_scalar_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p256_scalar_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p384_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p384_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p384_scalar_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p384_scalar_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p434_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p448_solinas_64.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p521_32.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/p521_64.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/poly1305_32.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/poly1305_64.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/secp256k1_dettman_32.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/secp256k1_dettman_64.c:37:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/secp256k1_montgomery_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/secp256k1_montgomery_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/secp256k1_montgomery_scalar_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/secp256k1_montgomery_scalar_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/sm2_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/sm2_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/sm2_scalar_32.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/fiat-bedrock2/src/sm2_scalar_64.c:42:4: error: #error "failed to confirm that target is little-endian" [preprocessorErrorDirective]
golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_template.c:23:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LIMBS [valueFlowBailoutIncompleteVar]
golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:14:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LIMBS [valueFlowBailoutIncompleteVar]
golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:32:14: style: Local variable 'i' shadows outer variable [shadowVariable]
golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:22:9: note: Shadowed variable
golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:32:14: note: Shadow local variable
diff:
2.20.0 golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:32:14: style: Local variable 'i' shadows outer variable [shadowVariable]
     golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:22:9: note: Shadowed declaration
     golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:32:14: note: Shadow variable
head golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:32:14: style: Local variable 'i' shadows outer variable [shadowVariable]
     golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:22:9: note: Shadowed variable
     golang-github-mit-plv-fiat-crypto-0.1.6/inversion/c/inversion_test_template.c:32:14: note: Shadow local variable


DONE