2024-04-25 09:10
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 -j8
platform: Linux-6.6.27_1-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.57
compiler: g++ (GCC) 13.2.0
cppcheck: head 2.14.0
head-info: da380ea (2024-04-25 10:28:43 +0200)
count: 197 197
elapsed-time: 1.3 1.2
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/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_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/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_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_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/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_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/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_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:53: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:56: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:58: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: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/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_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_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: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/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/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_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_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_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_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_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_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/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/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/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/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/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/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_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/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_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/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: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/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_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/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/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/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/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/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/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/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/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/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/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/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_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/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/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/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/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/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/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/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: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/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/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/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/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_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_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: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_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: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_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: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/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/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/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: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/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/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/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/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: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/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/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: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]
diff:


DONE