2025-05-10 18:06
ftp://ftp.de.debian.org/debian/pool/main/g/gap-guava/gap-guava_3.20+ds.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 -j3
platform: Linux-6.8.0-1022-oracle-aarch64-with-glibc2.39
python: 3.12.3
client-version: 1.3.67
compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0
cppcheck: head 2.17.0
head-info: beb3362 (2025-05-10 14:33:23 +0200)
count: 507 500
elapsed-time: 8.9 9.2
head-timing-info:

old-timing-info:

head results:
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:63:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:144:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:176:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:188:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:147:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:147:7: warning: %d in format string (no. 2) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:147:7: warning: %d in format string (no. 3) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:160:9: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:154:3: error: Resource leak: fptr [resourceLeak]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:52:8: style: Variable 'output_file' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:122:52: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/ctjhai/minimum-weight.c:138:28: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:116:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:201:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:335:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:466:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/popcount.c:54:9: warning: If memory allocation fails, then there is a possible null pointer dereference: __popcnt_LUT [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/popcount.c:49:27: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/popcount.c:49:3: note: Assignment '__popcnt_LUT=(unsigned short*)malloc((0x1U<<16)*sizeof(unsigned short))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/popcount.c:54:9: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:128:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:218:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:358:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:504:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:100:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:100:2: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:216:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:216:2: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:201:44: error: Memory leak: packedG.mat [memleak]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:201:44: error: Memory leak: packedG.rank [memleak]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:329:3: warning: If memory allocation fails, then there is a possible null pointer dereference: c [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:327:25: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:327:6: note: Assignment 'c=(unsigned long**)malloc(nMat*sizeof(unsigned long*))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:329:3: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:677:3: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:675:25: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:675:6: note: Assignment 'M=(unsigned long**)malloc(G->rows*sizeof(unsigned long*))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:677:3: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:678:10: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:675:25: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:675:6: note: Assignment 'M=(unsigned long**)malloc(G->rows*sizeof(unsigned long*))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:678:10: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:635:48: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:671:42: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf2.c:461:4: style: Variable 'w' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:121:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:121:2: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:233:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:233:2: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:218:44: error: Memory leak: packedG.mat [memleak]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:218:44: error: Memory leak: packedG.rank [memleak]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:336:2: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:336:2: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:337:2: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:337:2: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:339:3: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:339:3: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:341:4: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:341:4: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:343:5: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:343:5: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:343:25: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:343:25: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:344:5: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:344:5: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:344:25: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:344:25: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:352:3: warning: If memory allocation fails, then there is a possible null pointer dereference: c [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:350:24: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:350:6: note: Assignment 'c=(struct GF3_VEC**)malloc(nMat*sizeof(struct GF3_VEC*))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:352:3: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:488:2: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:488:2: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:489:2: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:489:2: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:490:2: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:490:2: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:492:3: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:492:3: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:494:4: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:494:4: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:494:24: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:494:24: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:495:4: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:495:4: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:495:24: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:495:24: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:727:3: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:24: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:6: note: Assignment 'M=(struct GF3_VEC**)malloc(G->rows*sizeof(struct GF3_VEC*))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:727:3: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:728:10: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:24: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:6: note: Assignment 'M=(struct GF3_VEC**)malloc(G->rows*sizeof(struct GF3_VEC*))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:728:10: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:729:29: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:24: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:6: note: Assignment 'M=(struct GF3_VEC**)malloc(G->rows*sizeof(struct GF3_VEC*))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:729:29: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:729:42: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:24: note: Assuming allocation function fails
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:6: note: Assignment 'M=(struct GF3_VEC**)malloc(G->rows*sizeof(struct GF3_VEC*))', assigned value is 0
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:729:42: note: Null pointer dereference
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:663:48: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:721:41: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:103:4: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:188:4: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:288:10: style: Variable 'inSet' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:351:22: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:352:22: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:353:22: style: Variable 'cellSize' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:354:10: style: Variable 'inSet' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:553:15: style: Variable 'D_L' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:563:22: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:564:22: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:366:14: error: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:585:14: error: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:128:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:215:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:453:14: style: Unused variable: lastRow [unusedVariable]
gap-guava-3.20+ds/src/leon/src/cdesauto.c:453:23: style: Unused variable: lastCol [unusedVariable]
gap-guava-3.20+ds/src/leon/src/cent.c:290:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/cent.c:562:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/chbase.c:104:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invImage [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/ccent.c:788:18: style: Variable 'oldP' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leon/src/ccent.c:765:21: note: oldP is assigned
gap-guava-3.20+ds/src/leon/src/ccent.c:788:18: note: oldP is overwritten
gap-guava-3.20+ds/src/leon/src/ccent.c:82:20: style: Local variable 'pt' shadows outer variable [shadowVariable]
gap-guava-3.20+ds/src/leon/src/ccent.c:470:19: note: Shadowed declaration
gap-guava-3.20+ds/src/leon/src/ccent.c:82:20: note: Shadow variable
gap-guava-3.20+ds/src/leon/src/ccent.c:884:19: style: Local variable 'pt' shadows outer variable [shadowVariable]
gap-guava-3.20+ds/src/leon/src/ccent.c:470:19: note: Shadowed declaration
gap-guava-3.20+ds/src/leon/src/ccent.c:884:19: note: Shadow variable
gap-guava-3.20+ds/src/leon/src/ccent.c:887:21: style: Local variable 'freq' shadows outer variable [shadowVariable]
gap-guava-3.20+ds/src/leon/src/ccent.c:470:31: note: Shadowed declaration
gap-guava-3.20+ds/src/leon/src/ccent.c:887:21: note: Shadow variable
gap-guava-3.20+ds/src/leon/src/ccent.c:978:16: style: Local variable 'pt' shadows outer variable [shadowVariable]
gap-guava-3.20+ds/src/leon/src/ccent.c:470:19: note: Shadowed declaration
gap-guava-3.20+ds/src/leon/src/ccent.c:978:16: note: Shadow variable
gap-guava-3.20+ds/src/leon/src/ccent.c:980:21: style: Local variable 'cycleLen' shadows outer variable [shadowVariable]
gap-guava-3.20+ds/src/leon/src/ccent.c:45:19: note: Shadowed declaration
gap-guava-3.20+ds/src/leon/src/ccent.c:980:21: note: Shadow variable
gap-guava-3.20+ds/src/leon/src/ccent.c:981:21: style: Local variable 'freq' shadows outer variable [shadowVariable]
gap-guava-3.20+ds/src/leon/src/ccent.c:470:31: note: Shadowed declaration
gap-guava-3.20+ds/src/leon/src/ccent.c:981:21: note: Shadow variable
gap-guava-3.20+ds/src/leon/src/ccent.c:650:22: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/ccent.c:651:22: style: Variable 'cellNumber' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/ccent.c:652:22: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/ccent.c:657:41: style: Variable 'minPosition' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/ccent.c:863:11: warning: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/ccent.c:841:21: note: Assuming condition is true
gap-guava-3.20+ds/src/leon/src/ccent.c:863:11: note: Uninitialized variable: reducingRefn.refn
gap-guava-3.20+ds/src/leon/src/ccent.c:150:7: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/ccent.c:163:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/ccent.c:281:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/ccent.c:386:7: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/cent.c:403:13: warning:inconclusive: The buffer 'outputObjectName' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
gap-guava-3.20+ds/src/leon/src/cent.c:416:13: warning:inconclusive: The buffer 'outputObjectName' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
gap-guava-3.20+ds/src/leon/src/cinter.c:52:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/cent.c:430:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/cent.c:172:63: style: Variable 'E' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cent.c:174:17: style: Variable 'e' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cent.c:174:21: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cjrndper.c:177:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/cjrndper.c:625:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:649:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIZEOF_INT [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/chbase.c:56:16: style: Variable 'temp1' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/chbase.c:535:14: style: Parameter 'acceptablePoint' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:113:4: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:226:4: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:544:10: warning: If memory allocation fails, then there is a possible null pointer dereference: header [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:542:35: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/cmatauto.c:542:16: note: Assignment 'header=(unsigned int*)malloc(twoExpRandBits*sizeof(unsigned int))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/cmatauto.c:544:10: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/cmatauto.c:358:10: style: Variable 'inSet' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:421:22: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:422:22: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:423:22: style: Variable 'cellSize' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:424:10: style: Variable 'inSet' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:629:15: style: Variable 'M_L' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:639:22: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:640:22: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:656:7: warning: Size of pointer 'randArray' used instead of size of its data. [pointerSize]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:436:14: error: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:680:14: error: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:160:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/cmatauto.c:276:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/commut.c:121:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/commut.c:247:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/cjrndper.c:612:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/cjrndper.c:97:15: style: Variable 'G' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compcrep.c:160:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable refnType [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/compgrp.c:141:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/compgrp.c:454:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/compsg.c:180:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable refnType [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/compgrp.c:70:15: style: Variable 'group1' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compgrp.c:70:24: style: Variable 'group2' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compgrp.c:71:17: style: Variable 'perm1' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compgrp.c:71:25: style: Variable 'perm2' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compgrp.c:72:15: style: Variable 'partn1' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compgrp.c:72:24: style: Variable 'partn2' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compgrp.c:73:14: style: Variable 'set1' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compgrp.c:73:21: style: Variable 'set2' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compgrp.c:245:30: style: Variable 'skipNormalize' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/compcrep.c:246:65: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
gap-guava-3.20+ds/src/leon/src/compcrep.c:244:46: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/compcrep.c:244:25: note: Assignment 'beginRevWord[m]=(unsigned int**)malloc((options.maxWordLength+2)*sizeof(unsigned int**))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/compcrep.c:246:65: note: Null pointer addition
gap-guava-3.20+ds/src/leon/src/compcrep.c:204:25: style: Checking if unsigned expression '(options.maxBaseChangeLevel<(AAA->ell))?(options.maxBaseChangeLevel):(AAA->ell)' is less than zero. [unsignedLessThanZero]
gap-guava-3.20+ds/src/leon/src/cputime.c:10:0: error: #error TICK must be defined. [preprocessorErrorDirective]
gap-guava-3.20+ds/src/leon/src/cputime.c:10:4: error: #error TICK must be defined. [preprocessorErrorDirective]
gap-guava-3.20+ds/src/leon/src/cparstab.c:180:15: style: Variable 'Lambda' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cparstab.c:254:22: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cparstab.c:255:22: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cparstab.c:256:22: style: Variable 'cellSize' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cparstab.c:268:14: error: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/cparstab.c:64:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/cparstab.c:123:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/csetstab.c:190:10: style: Variable 'inSet' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/csetstab.c:253:22: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/csetstab.c:254:22: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/csetstab.c:255:22: style: Variable 'cellSize' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/csetstab.c:256:10: style: Variable 'inSet' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/csetstab.c:268:14: error: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/csetstab.c:66:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/csetstab.c:125:4: error: Uninitialized variable: reducChkList [legacyUninitvar]
gap-guava-3.20+ds/src/leon/src/cstrbas.c:96:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable leftGroup [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/cstborb.c:102:15: style: Parameter 'orbit' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cstborb.c:150:10: style: Parameter 'option' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:201:4: warning: If memory allocation fails, then there is a possible null pointer dereference: totalSize [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:200:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/cuprstab.c:200:16: note: Assignment 'totalSize=(unsigned int*)malloc(xDegree*sizeof(unsigned int))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/cuprstab.c:201:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/cuprstab.c:74:21: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:76:21: style: Parameter 'L' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:142:21: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:145:21: style: Parameter 'L_L' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:148:21: style: Parameter 'L_R' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:37:13: style: struct member 'RefnListEntry::i' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:38:13: style: struct member 'RefnListEntry::j' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:39:13: style: struct member 'RefnListEntry::newCellSize' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:40:26: style: struct member 'RefnListEntry::hashLink' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:41:26: style: struct member 'RefnListEntry::next' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:42:26: style: struct member 'RefnListEntry::last' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:46:13: style: struct member 'Anonymous0::groupCount' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:47:15: style: struct member 'Anonymous0::group' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:48:20: style: struct member 'Anonymous0::hashTable' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:49:19: style: struct member 'Anonymous0::refnList' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:50:13: style: struct member 'Anonymous0::oldLevel' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:51:19: style: struct member 'Anonymous0::freeListHeader' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cuprstab.c:52:19: style: struct member 'Anonymous0::inUseListHeader' is never used. [unusedStructMember]
gap-guava-3.20+ds/src/leon/src/cstrbas.c:75:21: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/cstrbas.c:76:21: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compsg.c:249:9: style: The if condition is the same as the previous if condition [duplicateCondition]
gap-guava-3.20+ds/src/leon/src/compsg.c:244:9: note: First condition
gap-guava-3.20+ds/src/leon/src/compsg.c:249:9: note: Second condition
gap-guava-3.20+ds/src/leon/src/compsg.c:268:65: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
gap-guava-3.20+ds/src/leon/src/compsg.c:266:46: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/compsg.c:266:25: note: Assignment 'beginRevWord[m]=(unsigned int**)malloc((options.maxWordLength+7)*sizeof(unsigned int**))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/compsg.c:268:65: note: Null pointer addition
gap-guava-3.20+ds/src/leon/src/compsg.c:226:25: style: Checking if unsigned expression '(options.maxBaseChangeLevel<(AAA->ell))?(options.maxBaseChangeLevel):(AAA->ell)' is less than zero. [unsignedLessThanZero]
gap-guava-3.20+ds/src/leon/src/compsg.c:168:20: style: Variable 'ex' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/compsg.c:317:22: error: Uninitialized variable: xSplit.newCellSize [uninitvar]
gap-guava-3.20+ds/src/leon/src/field.c:29:7: warning: If memory allocation fails, then there is a possible null pointer dereference: T [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/field.c:25:32: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/field.c:25:8: note: Assignment 'T=(FieldElement**)malloc(size*sizeof(FieldElement*))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/field.c:29:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/field.c:30:13: warning: If memory allocation fails, then there is a possible null pointer dereference: T [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/field.c:25:32: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/field.c:25:8: note: Assignment 'T=(FieldElement**)malloc(size*sizeof(FieldElement*))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/field.c:30:13: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/desauto.c:319:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/desauto.c:789:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/factor.c:147:17: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/factor.c:148:17: style: Parameter 'b' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/fndelt.c:132:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/fndelt.c:298:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/generate.c:253:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/generate.c:502:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/generate.c:570:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCKS_PER_SEC [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/fndelt.c:212:10: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/fndelt.c:223:10: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/fndelt.c:235:13: warning: %ld in format string (no. 3) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/fndelt.c:250:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/fndelt.c:259:10: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/fndelt.c:272:10: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/fndelt.c:208:19: style: Variable 'order' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leon/src/fndelt.c:207:13: note: order is assigned
gap-guava-3.20+ds/src/leon/src/fndelt.c:208:19: note: order is overwritten
gap-guava-3.20+ds/src/leon/src/fndelt.c:84:15: style: Variable 'G' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/inform.c:194:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/inform.c:262:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCKS_PER_SEC [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/inform.c:96:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/inform.c:27:18: style: Parameter 'nodesVisited' can be declared as const array [constParameter]
gap-guava-3.20+ds/src/leon/src/inform.c:28:18: style: Parameter 'nodesPruned' can be declared as const array [constParameter]
gap-guava-3.20+ds/src/leon/src/inform.c:29:18: style: Parameter 'nodesEssential' can be declared as const array [constParameter]
gap-guava-3.20+ds/src/leon/src/inter.c:227:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/inter.c:364:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/inter.c:311:7: warning:inconclusive: The buffer 'outputObjectName' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
gap-guava-3.20+ds/src/leon/src/inter.c:178:63: style: Condition 'strcmp(argv[1],"-L")==0' is always false [knownConditionTrueFalse]
gap-guava-3.20+ds/src/leon/src/inter.c:149:9: style: Variable 'knownSubgroupSpecifier' can be declared as const array [constVariable]
gap-guava-3.20+ds/src/leon/src/desauto.c:420:13: warning:inconclusive: The buffer 'outputObjectName' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
gap-guava-3.20+ds/src/leon/src/desauto.c:440:13: warning:inconclusive: The buffer 'outputObjectName' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
gap-guava-3.20+ds/src/leon/src/desauto.c:194:46: style: Variable 'originalMatrix' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/desauto.c:194:63: style: Variable 'originalMatrix_L' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/desauto.c:195:15: style: Variable 'originalMatrix_R' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/matrix.c:31:15: style: Variable 'image' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/matrix.c:74:18: style: Variable 'inv' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/optsvec.c:56:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invImage [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/optsvec.c:166:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invImage [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/new.c:96:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:96:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:97:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:97:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:98:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:98:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:100:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:100:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:101:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:101:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:103:7: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:103:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:103:35: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:103:35: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:104:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:104:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:105:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:105:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:107:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:107:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:109:7: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:109:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:111:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:111:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:112:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:112:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:114:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:114:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:115:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:115:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:117:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:117:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:118:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:118:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:120:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:120:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:121:4: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:121:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:384:4: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:380:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:380:8: note: Assignment 'M=(struct Matrix_01*)malloc(sizeof(struct Matrix_01))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:384:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:385:4: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:380:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:380:8: note: Assignment 'M=(struct Matrix_01*)malloc(sizeof(struct Matrix_01))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:385:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:386:4: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:380:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:380:8: note: Assignment 'M=(struct Matrix_01*)malloc(sizeof(struct Matrix_01))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:386:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/new.c:387:10: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/new.c:380:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/new.c:380:8: note: Assignment 'M=(struct Matrix_01*)malloc(sizeof(struct Matrix_01))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/new.c:387:10: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/optsvec.c:257:26: warning: If memory allocation fails, then there is a possible null pointer dereference: G->startOfOrbitNo[level] [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/optsvec.c:250:32: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/optsvec.c:250:12: note: Assignment 'G->startOfOrbitNo[level]=(unsigned int*)malloc((orbitCountPlus1+1)*sizeof(unsigned int))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/optsvec.c:251:20: note: Assuming condition is false
gap-guava-3.20+ds/src/leon/src/optsvec.c:257:26: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/optsvec.c:122:14: style: Parameter 'basicCellSize' can be declared as const array [constParameter]
gap-guava-3.20+ds/src/leon/src/optsvec.c:202:15: style: Variable 'oldStartOfOrbit' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/optsvec.c:242:15: style: Variable 'oldStartOfOrbit' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbdes.c:110:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/orbdes.c:209:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/orbit.c:24:15: style: Parameter 'invOmega' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/generate.c:489:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/generate.c:179:10: style: Variable 'strPtr' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbdes.c:187:4: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orbdes.c:187:4: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/generate.c:229:23: style: Variable 'presentationOption' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/generate.c:235:19: style: Variable 'trimStrGenSet1' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/generate.c:236:19: style: Variable 'trimStrGenSet2' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/generate.c:178:9: style: Unused variable: tempStr [unusedVariable]
gap-guava-3.20+ds/src/leon/src/partn.c:55:15: style: Parameter 'applyAfterLevel' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/orblist.c:196:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/orblist.c:635:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/permgrp.c:651:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invImage [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/permgrp.c:244:62: style:inconclusive: Boolean expression 'let1==let2' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
gap-guava-3.20+ds/src/leon/src/permgrp.c:244:62: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
gap-guava-3.20+ds/src/leon/src/permgrp.c:108:15: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/permgrp.c:109:17: style: Parameter 'perm' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/permgrp.c:126:15: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/permgrp.c:127:17: style: Parameter 'perm' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/permgrp.c:152:15: style: Parameter 'G' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/permgrp.c:153:17: style: Parameter 'perm' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/permgrp.c:175:15: style: Variable 'basicOrbit' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/permgrp.c:229:10: style: Variable 'letter' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/permut.c:172:15: style: Variable 'temp1' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/permut.c:205:15: style: Variable 'temp1' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/ptstbref.c:118:15: style: Parameter 'AAA' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/ptstbref.c:206:11: warning: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/ptstbref.c:198:15: note: Assuming condition is true
gap-guava-3.20+ds/src/leon/src/ptstbref.c:206:11: note: Uninitialized variable: reducingRefn.refn
gap-guava-3.20+ds/src/leon/src/orbrefn.c:111:24: style: Variable 'tw0' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:111:30: style: Variable 'tw1' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:111:36: style: Variable 'tw2' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:112:15: style: Variable 'tw3' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:112:21: style: Variable 'tw4' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:112:27: style: Variable 'tw5' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:112:33: style: Variable 'tw6' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:112:39: style: Variable 'tw7' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:122:16: style: Variable 'completeOrbit' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:124:16: style: Variable 'startOfOrbitNo' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:602:22: style: Variable 'pointList' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:603:22: style: Variable 'startCell' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:607:16: style: Variable 'orbNumberOfPt' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:608:22: style: Variable 'startOfOrbitNo' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:611:41: style: Variable 'minPosition' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:787:11: warning: Uninitialized variable: reducingRefn.refn [uninitvar]
gap-guava-3.20+ds/src/leon/src/orbrefn.c:765:21: note: Assuming condition is true
gap-guava-3.20+ds/src/leon/src/orbrefn.c:787:11: note: Uninitialized variable: reducingRefn.refn
gap-guava-3.20+ds/src/leon/src/randobj.c:123:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/randobj.c:316:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/randobj.c:113:10: warning: Return value of function strcmp() is not used. [ignoredReturnValue]
gap-guava-3.20+ds/src/leon/src/randobj.c:62:10: style: Variable 'currentPos' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:380:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/randschr.c:181:23: style: Parameter 'perm' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/randschr.c:295:32: style: Variable 'rOptions.rejectHighOrder' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/randschr.c:299:39: style: Variable 'rOptions.onlyEssentialAddedGens' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/randschr.c:270:33: style: Unused variable: factoredOrbLen [unusedVariable]
gap-guava-3.20+ds/src/leon/src/readdes.c:163:4: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/readdes.c:163:4: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/readdes.c:177:23: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/readdes.c:352:9: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
gap-guava-3.20+ds/src/leon/src/readdes.c:352:9: warning: %d in format string (no. 2) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
gap-guava-3.20+ds/src/leon/src/readdes.c:352:9: warning: %d in format string (no. 3) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
gap-guava-3.20+ds/src/leon/src/readdes.c:443:4: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/readdes.c:443:4: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/readdes.c:443:4: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/readdes.c:235:26: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
gap-guava-3.20+ds/src/leon/src/readdes.c:63:12: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:52:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:52:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:63:12: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:65:36: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:52:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:52:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:65:36: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:66:17: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:52:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:52:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:66:17: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:151:13: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:145:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:145:19: note: Assignment 'libFile=fopen(libFileName,options.outputFileMode)', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:151:13: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:155:16: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:145:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:145:19: note: Assignment 'libFile=fopen(libFileName,options.outputFileMode)', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:155:16: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:228:12: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:217:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:217:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:228:12: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:231:36: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:217:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:217:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:231:36: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:232:17: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:217:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:217:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:232:17: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:431:13: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:425:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:425:19: note: Assignment 'libFile=fopen(libFileName,options.outputFileMode)', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:431:13: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:435:16: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readdes.c:425:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readdes.c:425:19: note: Assignment 'libFile=fopen(libFileName,options.outputFileMode)', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readdes.c:435:16: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readdes.c:303:64: style: Checking if unsigned expression 'token.value.intValue' is less than zero. [unsignedLessThanZero]
gap-guava-3.20+ds/src/leon/src/readdes.c:313:64: style: Checking if unsigned expression 'token.value.intValue' is less than zero. [unsignedLessThanZero]
gap-guava-3.20+ds/src/leon/src/readdes.c:38:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:136:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:137:10: style: Parameter 'libName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:139:10: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:199:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:339:10: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:413:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:414:10: style: Parameter 'libName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readdes.c:417:10: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpar.c:49:12: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readpar.c:35:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readpar.c:35:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readpar.c:49:12: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readpar.c:51:36: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readpar.c:35:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readpar.c:35:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readpar.c:51:36: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readpar.c:52:17: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readpar.c:35:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readpar.c:35:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readpar.c:52:17: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readpar.c:142:13: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readpar.c:136:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readpar.c:136:19: note: Assignment 'libFile=fopen(libFileName,options.outputFileMode)', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readpar.c:142:13: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readpar.c:23:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpar.c:32:10: style: Variable 'rv' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/readpar.c:127:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpar.c:128:10: style: Parameter 'libName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpar.c:129:10: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpar.c:51:10: style: Variable 'rv' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/readper.c:52:12: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readper.c:38:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readper.c:38:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readper.c:52:12: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readper.c:54:36: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readper.c:38:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readper.c:38:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readper.c:54:36: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readper.c:55:17: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readper.c:38:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readper.c:38:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readper.c:55:17: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readper.c:135:13: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readper.c:127:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readper.c:127:19: note: Assignment 'libFile=fopen(libFileName,options.outputFileMode)', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readper.c:135:13: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readper.c:139:16: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readper.c:127:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readper.c:127:19: note: Assignment 'libFile=fopen(libFileName,options.outputFileMode)', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readper.c:139:16: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readper.c:25:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readper.c:35:10: style: Variable 'rv' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/readper.c:117:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readper.c:118:10: style: Parameter 'libName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readper.c:120:10: style: Parameter 'format' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readper.c:121:10: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpts.c:50:12: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readpts.c:36:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readpts.c:36:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readpts.c:50:12: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readpts.c:52:36: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readpts.c:36:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readpts.c:36:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readpts.c:52:36: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readpts.c:53:17: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readpts.c:36:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readpts.c:36:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readpts.c:53:17: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readpts.c:121:13: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readpts.c:115:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readpts.c:115:19: note: Assignment 'libFile=fopen(libFileName,options.outputFileMode)', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readpts.c:121:13: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readpts.c:24:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpts.c:33:10: style: Variable 'rv' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/readpts.c:106:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpts.c:107:10: style: Parameter 'libName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpts.c:108:10: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readpts.c:52:10: style: Variable 'rv' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/readgrp.c:692:10: style: The if condition is the same as the previous if condition [duplicateCondition]
gap-guava-3.20+ds/src/leon/src/readgrp.c:681:10: note: First condition
gap-guava-3.20+ds/src/leon/src/readgrp.c:692:10: note: Second condition
gap-guava-3.20+ds/src/leon/src/readgrp.c:337:12: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readgrp.c:313:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readgrp.c:313:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readgrp.c:337:12: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readgrp.c:339:36: warning: If resource allocation fails, then there is a possible null pointer dereference: libFile [nullPointerOutOfResources]
gap-guava-3.20+ds/src/leon/src/readgrp.c:313:19: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/readgrp.c:313:19: note: Assignment 'libFile=fopen(libFileName,"r")', assigned value is 0
gap-guava-3.20+ds/src/leon/src/readgrp.c:339:36: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/readgrp.c:73:17: style: Parameter 'fInt' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readgrp.c:286:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readgrp.c:307:10: style: Variable 'rv' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/readgrp.c:552:17: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readgrp.c:617:17: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readgrp.c:645:10: style: Parameter 'libFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readgrp.c:646:10: style: Parameter 'libName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readgrp.c:648:10: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/readgrp.c:339:10: style: Variable 'rv' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/rprique.c:52:21: style: Variable 'omega' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orblist.c:423:23: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orblist.c:449:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orblist.c:469:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orblist.c:469:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orblist.c:469:13: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orblist.c:479:34: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orblist.c:589:10: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orblist.c:622:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
gap-guava-3.20+ds/src/leon/src/orblist.c:107:20: style: Variable 'currentPos' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/orblist.c:139:60: warning: Either the condition 'argc>1' is redundant or there is signed integer overflow for expression 'argc-1'. [integerOverflowCond]
gap-guava-3.20+ds/src/leon/src/orblist.c:128:14: note: Assuming that condition 'argc>1' is not redundant
gap-guava-3.20+ds/src/leon/src/orblist.c:139:60: note: Integer overflow
gap-guava-3.20+ds/src/leon/src/setstab.c:302:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/setstab.c:618:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/stcs.c:827:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invImage [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/stcs.c:868:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invImage [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/stcs.c:429:24: style: Variable 'curPointIndex' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leon/src/stcs.c:427:18: note: curPointIndex is assigned
gap-guava-3.20+ds/src/leon/src/stcs.c:429:24: note: curPointIndex is overwritten
gap-guava-3.20+ds/src/leon/src/stcs.c:627:24: style: Variable 'curPointIndex' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leon/src/stcs.c:625:18: note: curPointIndex is assigned
gap-guava-3.20+ds/src/leon/src/stcs.c:627:24: note: curPointIndex is overwritten
gap-guava-3.20+ds/src/leon/src/stcs.c:921:13: style:inconclusive: Function 'ExpGen' argument 2 names different: declaration 'maxExtraCosets' definition 'extraCosets'. [funcArgNamesDifferent]
gap-guava-3.20+ds/src/leon/src/stcs.c:77:13: note: Function 'ExpGen' argument 2 names different: declaration 'maxExtraCosets' definition 'extraCosets'.
gap-guava-3.20+ds/src/leon/src/stcs.c:921:13: note: Function 'ExpGen' argument 2 names different: declaration 'maxExtraCosets' definition 'extraCosets'.
gap-guava-3.20+ds/src/leon/src/stcs.c:362:13: style: Variable 'newRel' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/stcs.c:520:15: style: Variable 'basicOrbit' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/stcs.c:525:13: style: Variable 'newRel' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/stcs.c:708:14: style: Variable 'image' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/stcs.c:762:14: style: Variable 'image' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/stcs.c:818:30: style: Variable 'image' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/stcs.c:859:14: style: Variable 'image' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/stcs.c:117:20: style: Unused variable: i [unusedVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:121:13: style: Unused variable: r [unusedVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:428:11: style: Variable 'curGen' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:626:11: style: Variable 'curGen' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:515:56: style: Unused variable: img [unusedVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:817:23: style: Unused variable: temp1 [unusedVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:817:31: style: Unused variable: temp2 [unusedVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:818:14: style: Unused variable: temp3 [unusedVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:818:22: style: Unused variable: temp4 [unusedVariable]
gap-guava-3.20+ds/src/leon/src/stcs.c:897:13: style: Unused variable: i [unusedVariable]
gap-guava-3.20+ds/src/leon/src/relator.c:751:57: error: If memory allocation fails: overflow in pointer arithmetic, NULL pointer is subtracted. [nullPointerArithmeticOutOfMemory]
gap-guava-3.20+ds/src/leon/src/relator.c:751:33: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/relator.c:751:57: note: Null pointer subtraction
gap-guava-3.20+ds/src/leon/src/relator.c:216:14: style: Parameter 'basicOrbit' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/relator.c:707:23: warning: Uninitialized variable: gen [uninitvar]
gap-guava-3.20+ds/src/leon/src/relator.c:699:20: note: Assuming condition is false
gap-guava-3.20+ds/src/leon/src/relator.c:707:23: note: Uninitialized variable: gen
gap-guava-3.20+ds/src/leon/src/relator.c:707:34: warning: Uninitialized variable: coset [uninitvar]
gap-guava-3.20+ds/src/leon/src/relator.c:699:20: note: Assuming condition is false
gap-guava-3.20+ds/src/leon/src/relator.c:707:34: note: Uninitialized variable: coset
gap-guava-3.20+ds/src/leon/src/relator.c:345:39: style: Unused variable: ffHead [unusedVariable]
gap-guava-3.20+ds/src/leon/src/relator.c:684:27: style: Unused variable: oldImage [unusedVariable]
gap-guava-3.20+ds/src/leon/src/relator.c:685:23: style: Unused variable: gen1 [unusedVariable]
gap-guava-3.20+ds/src/leon/src/relator.c:689:15: style: Unused variable: newDeduc [unusedVariable]
gap-guava-3.20+ds/src/leon/src/storage.c:241:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:237:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:237:14: note: Assignment 'address=(struct Permutation*)malloc(sizeof(struct Permutation))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:241:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:242:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:237:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:237:14: note: Assignment 'address=(struct Permutation*)malloc(sizeof(struct Permutation))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:242:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:243:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:237:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:237:14: note: Assignment 'address=(struct Permutation*)malloc(sizeof(struct Permutation))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:243:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:244:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:237:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:237:14: note: Assignment 'address=(struct Permutation*)malloc(sizeof(struct Permutation))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:244:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:245:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:237:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:237:14: note: Assignment 'address=(struct Permutation*)malloc(sizeof(struct Permutation))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:245:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:246:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:237:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:237:14: note: Assignment 'address=(struct Permutation*)malloc(sizeof(struct Permutation))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:246:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:248:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:237:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:237:14: note: Assignment 'address=(struct Permutation*)malloc(sizeof(struct Permutation))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:248:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:250:9: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:237:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:237:14: note: Assignment 'address=(struct Permutation*)malloc(sizeof(struct Permutation))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:250:9: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:274:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:274:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:275:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:275:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:276:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:276:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:277:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:277:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:278:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:278:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:279:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:279:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:280:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:280:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:281:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:281:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:282:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:282:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:283:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:283:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:284:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:284:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:285:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:270:34: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:270:14: note: Assignment 'address=(struct PermGroup*)malloc(sizeof(struct PermGroup))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:285:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:498:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:494:32: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:494:14: note: Assignment 'address=(struct Relator*)malloc(sizeof(struct Relator))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:498:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:499:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:494:32: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:494:14: note: Assignment 'address=(struct Relator*)malloc(sizeof(struct Relator))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:499:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:500:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:494:32: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:494:14: note: Assignment 'address=(struct Relator*)malloc(sizeof(struct Relator))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:500:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:501:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:494:32: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:494:14: note: Assignment 'address=(struct Relator*)malloc(sizeof(struct Relator))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:501:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:544:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:540:30: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:540:14: note: Assignment 'address=(struct Field*)malloc(sizeof(struct Field))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:544:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:545:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:540:30: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:540:14: note: Assignment 'address=(struct Field*)malloc(sizeof(struct Field))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:545:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:546:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:540:30: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:540:14: note: Assignment 'address=(struct Field*)malloc(sizeof(struct Field))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:546:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/storage.c:547:4: warning: If memory allocation fails, then there is a possible null pointer dereference: address [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/storage.c:540:30: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/storage.c:540:14: note: Assignment 'address=(struct Field*)malloc(sizeof(struct Field))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/storage.c:547:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/token.c:142:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/util.c:48:4: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed long'. [invalidPrintfArgType_uint]
gap-guava-3.20+ds/src/leon/src/util.c:58:10: style: Parameter 'localFileName' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/util.c:59:20: style: Parameter 'mainOpts' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leon/src/util.c:60:20: style: Parameter 'localOpts' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leonconv.c:16:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leonconv.c:39:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leonconv.c:49:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leonconv.c:71:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leonconv.c:142:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leonconv.c:171:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/setstab.c:394:13: warning:inconclusive: The buffer 'outputObjectName' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
gap-guava-3.20+ds/src/leon/src/setstab.c:409:13: warning:inconclusive: The buffer 'outputObjectName' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
gap-guava-3.20+ds/src/leonconv.c:67:6: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:65:6: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:67:6: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:79:6: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:78:6: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:79:6: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:81:6: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:79:6: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:81:6: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:99:6: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:98:6: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:99:6: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:100:6: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:99:6: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:100:6: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:101:6: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:100:6: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:101:6: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:152:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:151:7: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:152:7: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:170:6: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:167:6: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:170:6: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:177:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:173:10: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:177:7: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:178:10: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
gap-guava-3.20+ds/src/leonconv.c:177:7: note: res is assigned
gap-guava-3.20+ds/src/leonconv.c:178:10: note: res is overwritten
gap-guava-3.20+ds/src/leonconv.c:13:7: style: Variable 'sw' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leonconv.c:46:21: style: Parameter 'inputfile' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leonconv.c:46:38: style: Parameter 'outputfile' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leonconv.c:117:30: style: Parameter 'inputfile' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leonconv.c:117:47: style: Parameter 'outputfile' can be declared as pointer to const [constParameterPointer]
gap-guava-3.20+ds/src/leonconv.c:101:6: style: Variable 'res' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leonconv.c:106:8: style: Variable 'res' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leonconv.c:133:8: style: Variable 'res2' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/wtdist.c:212:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/wtdist.c:962:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cOpts [valueFlowBailoutIncompleteVar]
gap-guava-3.20+ds/src/leon/src/wtdist.c:279:10: warning:inconclusive: The buffer 'matrixObjectName' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
gap-guava-3.20+ds/src/leon/src/wtdist.c:157:7: error: Memory leak: freq [memleak]
gap-guava-3.20+ds/src/leon/src/wtdist.c:164:7: error: Memory leak: freq [memleak]
gap-guava-3.20+ds/src/leon/src/wtdist.c:295:7: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:292:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:292:16: note: Assignment 'matrix=(struct Matrix_01*)malloc(sizeof(struct Matrix_01))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:295:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:296:7: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:292:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:292:16: note: Assignment 'matrix=(struct Matrix_01*)malloc(sizeof(struct Matrix_01))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:296:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:297:7: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:292:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:292:16: note: Assignment 'matrix=(struct Matrix_01*)malloc(sizeof(struct Matrix_01))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:297:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:299:13: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:292:36: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:292:16: note: Assignment 'matrix=(struct Matrix_01*)malloc(sizeof(struct Matrix_01))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:299:13: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:459:7: warning: If memory allocation fails, then there is a possible null pointer dereference: onesCount [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:452:35: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:452:20: note: Assignment 'onesCount=(char*)malloc(65536L*sizeof(char))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:459:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:461:10: warning: If memory allocation fails, then there is a possible null pointer dereference: onesCount [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:452:35: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:452:20: note: Assignment 'onesCount=(char*)malloc(65536L*sizeof(char))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:461:10: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:603:7: warning: If memory allocation fails, then there is a possible null pointer dereference: weight [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:598:28: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:598:13: note: Assignment 'weight=(char*)malloc(sizeof(char)*(largestPackedInteger+1))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:603:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:646:4: warning: If memory allocation fails, then there is a possible null pointer dereference: packedCodeWord [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:643:29: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:642:21: note: Assignment 'packedCodeWord=(unsigned short*)malloc(colsPerArrayElt*sizeof(unsigned short*))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:646:4: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:650:10: warning: If memory allocation fails, then there is a possible null pointer dereference: packedCodeWord [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:643:29: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:642:21: note: Assignment 'packedCodeWord=(unsigned short*)malloc(colsPerArrayElt*sizeof(unsigned short*))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:650:10: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:654:7: warning: If memory allocation fails, then there is a possible null pointer dereference: packedCodeWord [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:643:29: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:642:21: note: Assignment 'packedCodeWord=(unsigned short*)malloc(colsPerArrayElt*sizeof(unsigned short*))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:654:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:685:7: warning: If memory allocation fails, then there is a possible null pointer dereference: codeWord [nullPointerOutOfMemory]
gap-guava-3.20+ds/src/leon/src/wtdist.c:878:26: note: Assuming allocation function fails
gap-guava-3.20+ds/src/leon/src/wtdist.c:877:56: note: Assignment 'vec=matrix->entry[matrix->numberOfRows]=malloc((C->length+1)*sizeof(FieldElement))', assigned value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:882:52: note: Calling function 'unpackNonBinaryCodeWord', 5th argument 'vec' value is 0
gap-guava-3.20+ds/src/leon/src/wtdist.c:685:7: note: Null pointer dereference
gap-guava-3.20+ds/src/leon/src/wtdist.c:514:10: style: Variable 'onesCount' can be declared as pointer to const [constVariablePointer]
gap-guava-3.20+ds/src/leon/src/wtdist.c:642:4: warning: Size of pointer 'packedCodeWord' used instead of size of its data. [pointerSize]
gap-guava-3.20+ds/src/leon/src/wtdist.c:265:24: error: Uninitialized variable: saveWeight [uninitvar]
gap-guava-3.20+ds/src/leon/src/wtdist.c:265:22: style: Variable 'maxCosetWeight' is assigned a value that is never used. [unreadVariable]
gap-guava-3.20+ds/src/leon/src/wtdist.c:141:29: style: Unused variable: passes [unusedVariable]
diff:
head gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:343:25: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:343:25: note: Null pointer dereference
head gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:344:25: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:28: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:335:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:344:25: note: Null pointer dereference
head gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:494:24: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:494:24: note: Null pointer dereference
head gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:495:24: warning: If memory allocation fails, then there is a possible null pointer dereference: G2 [nullPointerOutOfMemory]
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:28: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:487:7: note: Assignment 'G2=(struct GF3_VEC****)malloc(2*sizeof(struct GF3_VEC***))', assigned value is 0
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:495:24: note: Null pointer dereference
head gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:729:42: warning: If memory allocation fails, then there is a possible null pointer dereference: M [nullPointerOutOfMemory]
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:24: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:725:6: note: Assignment 'M=(struct GF3_VEC**)malloc(G->rows*sizeof(struct GF3_VEC*))', assigned value is 0
     gap-guava-3.20+ds/src/ctjhai/minimum-weight-gf3.c:729:42: note: Null pointer dereference
2.17.0 gap-guava-3.20+ds/src/leon/src/compcrep.c:246:65: error: If memory allocation fail: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     gap-guava-3.20+ds/src/leon/src/compcrep.c:244:46: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/leon/src/compcrep.c:244:25: note: Assignment 'beginRevWord[m]=(unsigned int**)malloc((options.maxWordLength+2)*sizeof(unsigned int**))', assigned value is 0
     gap-guava-3.20+ds/src/leon/src/compcrep.c:246:65: note: Null pointer addition
head gap-guava-3.20+ds/src/leon/src/compcrep.c:246:65: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     gap-guava-3.20+ds/src/leon/src/compcrep.c:244:46: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/leon/src/compcrep.c:244:25: note: Assignment 'beginRevWord[m]=(unsigned int**)malloc((options.maxWordLength+2)*sizeof(unsigned int**))', assigned value is 0
     gap-guava-3.20+ds/src/leon/src/compcrep.c:246:65: note: Null pointer addition
2.17.0 gap-guava-3.20+ds/src/leon/src/compsg.c:268:65: error: If memory allocation fail: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     gap-guava-3.20+ds/src/leon/src/compsg.c:266:46: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/leon/src/compsg.c:266:25: note: Assignment 'beginRevWord[m]=(unsigned int**)malloc((options.maxWordLength+7)*sizeof(unsigned int**))', assigned value is 0
     gap-guava-3.20+ds/src/leon/src/compsg.c:268:65: note: Null pointer addition
head gap-guava-3.20+ds/src/leon/src/compsg.c:268:65: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     gap-guava-3.20+ds/src/leon/src/compsg.c:266:46: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/leon/src/compsg.c:266:25: note: Assignment 'beginRevWord[m]=(unsigned int**)malloc((options.maxWordLength+7)*sizeof(unsigned int**))', assigned value is 0
     gap-guava-3.20+ds/src/leon/src/compsg.c:268:65: note: Null pointer addition
head gap-guava-3.20+ds/src/leon/src/cputime.c:10:4: error: #error TICK must be defined. [preprocessorErrorDirective]
head gap-guava-3.20+ds/src/leon/src/new.c:103:35: warning: If memory allocation fails, then there is a possible null pointer dereference: newCellStack [nullPointerOutOfMemory]
     gap-guava-3.20+ds/src/leon/src/new.c:92:68: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/leon/src/new.c:92:39: note: Assignment 'newCellStack=(struct CellPartitionStack*)malloc(sizeof(struct CellPartitionStack))', assigned value is 0
     gap-guava-3.20+ds/src/leon/src/new.c:103:35: note: Null pointer dereference
2.17.0 gap-guava-3.20+ds/src/leon/src/relator.c:751:57: error: If memory allocation fail: overflow in pointer arithmetic, NULL pointer is subtracted. [nullPointerArithmeticOutOfMemory]
     gap-guava-3.20+ds/src/leon/src/relator.c:751:33: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/leon/src/relator.c:751:57: note: Null pointer subtraction
head gap-guava-3.20+ds/src/leon/src/relator.c:751:57: error: If memory allocation fails: overflow in pointer arithmetic, NULL pointer is subtracted. [nullPointerArithmeticOutOfMemory]
     gap-guava-3.20+ds/src/leon/src/relator.c:751:33: note: Assuming allocation function fails
     gap-guava-3.20+ds/src/leon/src/relator.c:751:57: note: Null pointer subtraction


DONE