2025-05-05 04:59
ftp://ftp.de.debian.org/debian/pool/main/j/jerasure/jerasure_2.0.0+2017.04.10.git.de1739cc84.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: 88ef81e (2025-05-02 08:42:38 +0200)
count: 378 378
elapsed-time: 1.1 1.1
head-timing-info:

old-timing-info:

head results:
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_01.c:59:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_01.c:104:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:59:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:59:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_01.c:79:7: warning: %x in format string (no. 1) requires 'unsigned int *' but the argument type is 'signed int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_01.c:90:3: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_01.c:91:3: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_01.c:57:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:59:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:222:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:250:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:128:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:138:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:139:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:146:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:147:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:149:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:101:28: warning: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:175:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:175:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:185:15: note: Calling function 'print_array', 1st argument 'data' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:101:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:178:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:175:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:175:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:178:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:179:5: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:176:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:176:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:179:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:180:28: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:175:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:175:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:180:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:181:12: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:176:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:176:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:181:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:181:22: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:175:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:175:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:181:22: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:190:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:187:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:187:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:190:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:191:5: warning: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:188:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:188:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:191:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:205:16: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:187:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:187:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:205:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:205:27: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:188:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:188:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:205:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:217:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:216:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:216:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:217:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:219:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:215:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:215:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:219:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:220:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:216:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:216:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:220:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:220:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:215:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:215:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:220:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:226:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:215:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:215:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:226:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:228:15: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:215:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:215:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:228:15: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:57:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:87:84: style: Parameter 'label' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_02.c:90:18: style: Variable 'up' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:240:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:268:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:133:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:148:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:149:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:156:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:157:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:159:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:105:28: warning: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:193:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:193:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:203:15: note: Calling function 'print_array', 1st argument 'data' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:105:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:138:27: warning: If memory allocation fails, then there is a possible null pointer dereference: X [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:136:7: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:136:7: note: Assignment 'X=(int*)malloc(sizeof(int)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:138:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:139:27: warning: If memory allocation fails, then there is a possible null pointer dereference: Y [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:137:7: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:137:7: note: Assignment 'Y=(int*)malloc(sizeof(int)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:139:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:196:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:193:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:193:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:196:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:197:5: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:194:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:194:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:197:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:198:28: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:193:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:193:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:198:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:199:12: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:194:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:194:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:199:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:199:22: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:193:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:193:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:199:22: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:208:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:205:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:205:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:208:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:209:5: warning: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:206:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:206:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:209:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:223:16: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:205:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:205:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:223:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:223:27: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:206:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:206:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:223:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:235:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:234:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:234:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:235:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:237:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:233:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:233:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:237:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:238:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:234:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:234:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:238:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:238:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:233:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:233:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:238:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:244:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:233:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:233:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:244:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:246:15: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:233:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:233:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:246:15: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:57:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:91:84: style: Parameter 'label' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_03.c:94:18: style: Variable 'up' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:222:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:250:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:138:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:391:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:129:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:139:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:140:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:147:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:148:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:150:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:102:28: warning: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:175:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:175:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:185:15: note: Calling function 'print_array', 1st argument 'data' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:102:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:178:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:175:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:175:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:178:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:179:5: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:176:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:176:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:179:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:180:28: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:175:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:175:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:180:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:181:12: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:176:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:176:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:181:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:181:22: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:175:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:175:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:181:22: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:190:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:187:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:187:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:190:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:191:5: warning: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:188:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:188:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:191:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:205:16: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:187:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:187:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:205:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:205:27: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:188:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:188:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:205:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:217:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:216:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:216:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:217:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:219:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:215:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:215:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:219:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:220:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:216:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:216:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:220:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:220:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:215:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:215:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:220:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:226:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:215:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:215:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:226:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:228:15: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:215:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:215:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:228:15: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:57:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:88:84: style: Parameter 'label' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/cauchy_04.c:91:18: style: Variable 'up' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_01.c:55:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_01.c:77:5: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_01.c:73:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_01.c:73:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(r*c))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_01.c:77:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_01.c:53:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_02.c:55:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_02.c:77:5: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_02.c:73:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_02.c:73:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(r*c))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_02.c:77:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:149:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:621:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_02.c:53:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:142:19: warning: Assert statement calls a function which may have desired side effects: 'getcwd'. [assertWithSideEffect]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:273:26: warning: Assert statement calls a function which may have desired side effects: 'fread'. [assertWithSideEffect]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:277:29: warning: Assert statement calls a function which may have desired side effects: 'fread'. [assertWithSideEffect]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:296:26: warning: Assert statement calls a function which may have desired side effects: 'fread'. [assertWithSideEffect]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:300:26: warning: Assert statement calls a function which may have desired side effects: 'fread'. [assertWithSideEffect]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:172:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:186:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:154:15: warning: If memory allocation fails, then there is a possible null pointer dereference: cs1 [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:145:21: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:145:8: note: Assignment 'cs1=(char*)malloc(sizeof(char)*strlen(argv[1]))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:154:15: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:164:42: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: curdir [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:141:25: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:141:11: note: Assignment 'curdir=(char*)malloc(sizeof(char)*1000)', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:164:42: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:166:13: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: fname [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:161:24: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:161:10: note: Assignment 'fname=(char*)malloc(sizeof(char*)*(100+strlen(argv[1])+20))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:166:13: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:172:23: warning: If memory allocation fails, then there is a possible null pointer dereference: temp [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:171:23: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:171:9: note: Assignment 'temp=(char*)malloc(sizeof(char)*(strlen(argv[1])+20))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:172:23: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:186:23: warning: If memory allocation fails, then there is a possible null pointer dereference: c_tech [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:185:25: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:185:11: note: Assignment 'c_tech=(char*)malloc(sizeof(char)*(strlen(argv[1])+20))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:186:23: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:204:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:202:24: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:202:11: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:204:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/decoder.c:161:2: warning: Size of pointer 'fname' used instead of size of its data. [pointerSize]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:56:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:56:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:80:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:81:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:91:7: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:84:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:84:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(k*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:91:7: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:105:10: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix_copy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:85:17: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:85:17: note: Assignment 'matrix_copy=(int*)malloc(sizeof(int)*(k*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:105:10: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:105:23: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:84:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:84:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(k*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:105:23: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:80:43: style: Checking if unsigned expression 'k' is less than zero. [unsignedLessThanZero]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:81:43: style: Checking if unsigned expression 'w' is less than zero. [unsignedLessThanZero]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:54:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:82:15: warning: Shifting signed 32-bit value by 31 bits is undefined behaviour. See condition at line 81. [shiftTooManyBitsSigned]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:81:53: note: Assuming that condition 'w>31' is not redundant
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:82:15: note: Shift
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_03.c:111:7: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:58:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:78:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:79:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:89:7: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:82:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:82:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(k*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:89:7: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:104:10: warning: If memory allocation fails, then there is a possible null pointer dereference: bitmatrix_copy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:83:20: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:83:20: note: Assignment 'bitmatrix_copy=(int*)malloc(sizeof(int)*(k*w*k*w))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:104:10: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:78:43: style: Checking if unsigned expression 'k' is less than zero. [unsignedLessThanZero]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:79:43: style: Checking if unsigned expression 'w' is less than zero. [unsignedLessThanZero]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:54:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:80:15: warning: Shifting signed 32-bit value by 31 bits is undefined behaviour. See condition at line 79. [shiftTooManyBitsSigned]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:79:53: note: Assuming that condition 'w>31' is not redundant
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:80:15: note: Shift
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_04.c:110:7: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:58:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:175:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:203:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:129:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:134:7: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:131:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:131:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(m*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:134:7: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:153:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:151:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:151:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:153:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:154:28: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:151:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:151:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:154:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:159:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:157:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:157:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:159:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:169:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:168:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:168:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:169:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:171:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:167:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:167:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:171:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:172:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:168:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:168:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:172:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:172:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:167:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:167:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:172:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:179:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:167:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:167:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:179:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:192:27: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:168:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:168:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:192:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:192:10: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:184:5: note: i is assigned
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:192:10: note: i is overwritten
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:56:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:126:28: warning: Shifting signed 32-bit value by 31 bits is undefined behaviour. See condition at line 126. [shiftTooManyBitsSigned]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:126:9: note: Assuming that condition 'w<32' is not redundant
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_05.c:126:28: note: Shift
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:58:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:168:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:213:27: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:118:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:89:28: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:141:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:141:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:156:15: note: Calling function 'print_array', 1st argument 'data' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:89:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:124:7: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:121:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:121:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(m*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:124:7: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:143:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:141:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:141:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:143:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:144:28: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:141:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:141:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:144:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:149:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:147:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:147:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:149:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:163:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:162:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:162:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:163:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:165:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:161:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:161:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:165:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:166:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:162:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:162:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:166:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:166:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:161:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:161:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:166:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:172:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:161:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:161:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:172:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:175:15: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:161:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:161:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:175:15: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:201:10: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:186:5: note: i is assigned
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:201:10: note: i is overwritten
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:56:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:75:84: style: Parameter 'label' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_06.c:78:18: style: Variable 'up' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:179:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:206:27: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:61:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:116:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:89:28: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:143:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:143:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:158:15: note: Calling function 'print_array', 1st argument 'data' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:89:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:122:7: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:119:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:119:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(m*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:122:7: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:145:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:143:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:143:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:145:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:146:28: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:143:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:143:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:146:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:151:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:149:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:149:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:151:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:174:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:173:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:173:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:174:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:176:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:172:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:172:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:176:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:177:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:173:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:173:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:177:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:177:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:172:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:172:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:177:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:183:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:172:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:172:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:183:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:203:27: warning: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:202:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:202:10: note: Assignment 'ptrs=(char**)malloc(sizeof(char*)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:203:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:204:27: warning: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:202:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:202:10: note: Assignment 'ptrs=(char**)malloc(sizeof(char*)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:204:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:56:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:75:84: style: Parameter 'label' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_07.c:78:18: style: Variable 'up' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:58:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:59:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:168:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:62:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:90:28: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:141:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:141:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:156:15: note: Calling function 'print_array', 1st argument 'data' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:90:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:143:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:141:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:141:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:143:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:144:28: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:141:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:141:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:144:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:149:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:147:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:147:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:149:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:163:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:162:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:162:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:163:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:165:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:161:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:161:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:165:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:166:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:162:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:162:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:166:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:166:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:161:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:161:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:166:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:172:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:161:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:161:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:172:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:57:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:76:84: style: Parameter 'label' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/liberation_01.c:79:18: style: Variable 'up' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:169:27: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:186:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:209:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:61:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:118:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:92:28: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:136:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:136:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:160:15: note: Calling function 'print_array', 1st argument 'data' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:92:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:125:27: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:124:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:124:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(m*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:125:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:128:5: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:124:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:124:12: note: Assignment 'matrix=(int*)malloc(sizeof(int)*(m*k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:128:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:138:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:136:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:136:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:138:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:139:28: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:136:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:136:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:139:28: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:144:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:142:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:142:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:144:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:166:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:166:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:167:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:167:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:168:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:168:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:169:33: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:142:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:142:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:169:33: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:181:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:180:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:180:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:181:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:183:5: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:183:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:184:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:180:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:180:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:184:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:184:16: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:184:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:190:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:190:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:56:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:78:84: style: Parameter 'label' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/jerasure_08.c:81:18: style: Variable 'up' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:59:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_02.c:57:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_02.c:55:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:63:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:129:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:130:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:140:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:137:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:137:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:140:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:141:5: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:138:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:138:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:141:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:144:7: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:137:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:137:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:144:7: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:146:12: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:138:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:138:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:146:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:146:22: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:137:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:137:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:146:22: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:152:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:149:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:149:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:152:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:153:5: warning: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:150:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:150:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:153:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:159:12: warning: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:150:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:150:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:159:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:159:22: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:149:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:149:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:159:22: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:167:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:166:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:166:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:167:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:170:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:170:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:171:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:166:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:166:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:171:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:171:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:171:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:177:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:177:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:187:10: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:182:5: note: i is assigned
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:187:10: note: i is overwritten
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_01.c:57:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:58:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:59:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:83:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:85:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:86:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:93:39: warning: If memory allocation fails, then there is a possible null pointer dereference: y [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:90:9: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:90:9: note: Assignment 'a32=(int*)malloc(sizeof(int)*4)', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:92:5: note: y is assigned '(unsigned char*)a32' here.
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:93:39: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:94:10: warning: If memory allocation fails, then there is a possible null pointer dereference: copy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:91:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:91:10: note: Assignment 'copy=(int*)malloc(sizeof(int)*4)', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:94:10: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:94:16: warning: If memory allocation fails, then there is a possible null pointer dereference: a32 [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:90:9: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:90:9: note: Assignment 'a32=(int*)malloc(sizeof(int)*4)', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:94:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:57:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:73:18: style: Variable 'x' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:74:19: style: Variable 'xs' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:74:24: style: Variable 'ys' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:75:17: style: Variable 'xi' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_04.c:75:22: style: Variable 'yi' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:78:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:96:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable gf_t [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:178:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:62:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:123:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:130:3: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:131:3: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:141:5: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:138:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:138:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:141:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:142:5: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:139:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:139:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:142:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:145:7: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:138:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:138:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:145:7: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:147:12: warning: If memory allocation fails, then there is a possible null pointer dereference: dcopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:139:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:139:11: note: Assignment 'dcopy=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:147:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:147:22: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:138:10: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:138:10: note: Assignment 'data=(char**)malloc(sizeof(char*)*(k))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:147:22: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:153:5: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:150:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:150:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:153:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:154:5: warning: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:151:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:151:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:154:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:159:12: warning: If memory allocation fails, then there is a possible null pointer dereference: ccopy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:151:11: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:151:11: note: Assignment 'ccopy=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:159:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:159:22: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:150:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:150:12: note: Assignment 'coding=(char**)malloc(sizeof(char*)*(m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:159:22: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:167:29: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:166:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:166:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:167:29: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:170:5: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:170:5: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:171:9: warning: If memory allocation fails, then there is a possible null pointer dereference: erased [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:166:12: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:166:12: note: Assignment 'erased=(int*)malloc(sizeof(int)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:171:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:171:16: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:171:16: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:177:3: warning: If memory allocation fails, then there is a possible null pointer dereference: erasures [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:165:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:165:14: note: Assignment 'erasures=(int*)malloc(sizeof(int)*(m+1))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:177:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:187:10: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:182:5: note: i is assigned
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:187:10: note: i is overwritten
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_03.c:56:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:167:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:117:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:62:37: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:61:23: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:61:23: note: Assignment 'mem=malloc(size+16+sizeof(void*))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:62:37: note: Null pointer addition
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:175:10: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:173:5: note: i is assigned
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:175:10: note: i is overwritten
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:76:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:62:37: portability: 'mem' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:62:40: portability: 'mem+16' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:77:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:95:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable gf_t [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:192:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:175:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:117:7: warning: %d in format string (no. 1) requires 'int *' but the argument type is 'unsigned int *'. [invalidScanfArgType_int]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:61:37: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:60:23: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:60:23: note: Assignment 'mem=malloc(size+16+sizeof(void*))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:61:37: note: Null pointer addition
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:75:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:61:37: portability: 'mem' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:61:40: portability: 'mem+16' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:110:12: style: Variable 't' is assigned a value that is never used. [unreadVariable]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/cauchy.c:149:56: style: Parameter 'X' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/cauchy.c:149:64: style: Parameter 'Y' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/galois.c:81:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/galois.c:133:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/galois.c:176:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable gf_t [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/galois.c:200:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/galois.c:249:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/galois.c:276:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/galois.c:293:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/galois.c:217:30: style: Parameter 'gf' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:314:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:331:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:570:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:592:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1459:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/cauchy_best_r6.c:150:56: style: Parameter 'X' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/cauchy_best_r6.c:150:64: style: Parameter 'Y' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/liberation.c:64:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/liberation.c:102:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/liberation.c:216:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:329:19: warning: Assert statement calls a function which may have desired side effects: 'getcwd'. [assertWithSideEffect]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:539:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:555:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:412:14: warning: If memory allocation fails, then there is a possible null pointer dereference: s1 [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:403:20: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:403:7: note: Assignment 's1=(char*)malloc(sizeof(char)*(strlen(argv[1])+20))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:412:14: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:429:3: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:427:26: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:427:11: note: Assignment 'coding=(char**)malloc(sizeof(char*)*m)', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:429:3: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:430:21: warning: If memory allocation fails, then there is a possible null pointer dereference: coding [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:427:26: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:427:11: note: Assignment 'coding=(char**)malloc(sizeof(char*)*m)', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:430:21: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:548:48: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:543:17: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:543:17: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:548:48: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:549:12: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:543:17: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:543:17: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:549:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:564:50: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:559:17: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:559:17: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:564:50: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:565:12: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:559:17: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:559:17: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:565:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:577:11: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:577:11: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:578:11: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:578:11: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:579:11: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:579:11: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:580:11: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:580:11: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:581:11: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:581:11: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:582:11: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:582:11: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:583:10: warning: If resource allocation fails, then there is a possible null pointer dereference: fp2 [nullPointerOutOfResources]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:576:14: note: Assignment 'fp2=fopen(fname,"wb")', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:583:10: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:387:3: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:390:3: note: Found duplicate branches for 'if' and 'else'.
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:387:3: note: Found duplicate branches for 'if' and 'else'.
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:123:18: style: Variable 'extension' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/encoder.c:604:6: style: Variable 'prime55' can be declared as const array [constVariable]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/reed_sol.c:110:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/reed_sol.c:126:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/reed_sol.c:142:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/reed_sol.c:225:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:897:9: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:951:11: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:79:7: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1184:31: warning: If memory allocation fails, then there is a possible null pointer dereference: product [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1183:27: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1183:13: note: Assignment 'product=(int*)malloc(sizeof(int)*r1*c2)', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1184:31: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1189:9: warning: If memory allocation fails, then there is a possible null pointer dereference: product [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1183:27: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1183:13: note: Assignment 'product=(int*)malloc(sizeof(int)*r1*c2)', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1189:9: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1213:12: warning: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assignment 'ptr_copy=(char**)malloc(sizeof(char*)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1241:38: note: Calling function 'jerasure_do_scheduled_operations', 1st argument 'ptr_copy' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1213:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1214:12: warning: If memory allocation fails, then there is a possible null pointer dereference: ptrs [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assignment 'ptr_copy=(char**)malloc(sizeof(char*)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1241:38: note: Calling function 'jerasure_do_scheduled_operations', 1st argument 'ptr_copy' value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1214:12: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1238:27: warning: If memory allocation fails, then there is a possible null pointer dereference: ptr_copy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assignment 'ptr_copy=(char**)malloc(sizeof(char*)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1238:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1239:27: warning: If memory allocation fails, then there is a possible null pointer dereference: ptr_copy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assignment 'ptr_copy=(char**)malloc(sizeof(char*)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1239:27: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1242:31: warning: If memory allocation fails, then there is a possible null pointer dereference: ptr_copy [nullPointerOutOfMemory]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assuming allocation function fails
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1237:14: note: Assignment 'ptr_copy=(char**)malloc(sizeof(char*)*(k+m))', assigned value is 0
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1242:31: note: Null pointer dereference
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:61:33: style: Parameter 'm' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:85:36: style: Parameter 'm' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:99:61: style: Parameter 'matrix' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:99:74: style: Parameter 'erased' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:130:64: style: Parameter 'matrix' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:130:77: style: Parameter 'erased' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:278:61: style: Parameter 'matrix' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:323:52: style: Parameter 'bitmatrix_row' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:324:35: style: Parameter 'src_ids' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:529:53: style: Parameter 'erasures' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:584:32: style: Parameter 'src_ids' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:836:76: style: Parameter 'bitmatrix' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:845:8: style: Variable 'b1' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1247:69: style: Parameter 'bitmatrix' can be declared as pointer to const [constParameterPointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1300:22: style: Variable 'b1' can be declared as pointer to const [constVariablePointer]
jerasure-2.0.0+2017.04.10.git.de1739cc84/src/jerasure.c:1301:8: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer]
diff:
2.17.0 jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:62:37: error: If memory allocation fail: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:61:23: note: Assuming allocation function fails
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:61:23: note: Assignment 'mem=malloc(size+16+sizeof(void*))', assigned value is 0
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:62:37: note: Null pointer addition
head jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:62:37: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:61:23: note: Assuming allocation function fails
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:61:23: note: Assignment 'mem=malloc(size+16+sizeof(void*))', assigned value is 0
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_test_gf.c:62:37: note: Null pointer addition
2.17.0 jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:61:37: error: If memory allocation fail: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:60:23: note: Assuming allocation function fails
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:60:23: note: Assignment 'mem=malloc(size+16+sizeof(void*))', assigned value is 0
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:61:37: note: Null pointer addition
head jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:61:37: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:60:23: note: Assuming allocation function fails
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:60:23: note: Assignment 'mem=malloc(size+16+sizeof(void*))', assigned value is 0
     jerasure-2.0.0+2017.04.10.git.de1739cc84/Examples/reed_sol_time_gf.c:61:37: note: Null pointer addition


DONE