2021-09-22 06:47 ftp://ftp.de.debian.org/debian/pool/main/w/why3/why3_1.3.3.orig.tar.gz cppcheck-options: --library=posix --library=gnu -j1 --showtime=top5 --check-library --inconclusive --enable=style,information --template=daca2 -rp=temp -D__GNUC__ --platform=unix64 temp platform: Linux-5.4.0-86-generic-x86_64-with-glibc2.29 python: 3.8.10 client-version: 1.3.12 compiler: g++ (Ubuntu 10.3.0-1ubuntu1~20.04) 10.3.0 cppcheck: head 2.5 head-info: 255dc0484 (2021-09-21 19:25:41 +0200) count: 46 45 elapsed-time: 4.7 3.2 head-timing-info: Tokenizer::simplifyTokens1: 0.879144s (avg. 0.0303153s - 29 result(s)) Tokenizer::simplifyTokens1::ValueFlow: 0.799082s (avg. 0.0275546s - 29 result(s)) Tokenizer::simplifyTokens1::createSymbolDatabase: 0.048048s (avg. 0.00165683s - 29 result(s)) Tokenizer::createTokens: 0.02338s (avg. 0.000668s - 35 result(s)) Tokenizer::simplifyTokens1::setValueType: 0.00873s (avg. 0.000301034s - 29 result(s)) Overall time: 1.80062s old-timing-info: Tokenizer::simplifyTokens1: 0.546415s (avg. 0.0188419s - 29 result(s)) Tokenizer::simplifyTokens1::ValueFlow: 0.45967s (avg. 0.0158507s - 29 result(s)) Tokenizer::simplifyTokens1::createSymbolDatabase: 0.053171s (avg. 0.00183348s - 29 result(s)) Tokenizer::createTokens: 0.023757s (avg. 0.000678771s - 35 result(s)) Tokenizer::simplifyTokens1::setValueType: 0.008821s (avg. 0.000304172s - 29 result(s)) Overall time: 1.13668s head results: why3-1.3.3/examples/multiprecision/tests.c:142:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] why3-1.3.3/examples/multiprecision/tests.c:146:23: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] why3-1.3.3/examples/multiprecision/tests.c:158:8: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] why3-1.3.3/examples/multiprecision/tests.c:308:8: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] why3-1.3.3/examples/multiprecision/tests.c:309:8: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] why3-1.3.3/examples/multiprecision/tests.c:1287:7: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint] why3-1.3.3/examples/multiprecision/tests.c:1287:7: warning: %ld in format string (no. 2) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint] why3-1.3.3/examples/multiprecision/tests.c:283:3: error: Memory leak: __x._mp_d [memleak] why3-1.3.3/examples/multiprecision/tests.c:286:3: error: Memory leak: __x._mp_d [memleak] why3-1.3.3/examples/multiprecision/tests.c:287:3: error: Memory leak: __x._mp_d [memleak] why3-1.3.3/examples/multiprecision/tests.c:300:3: error: Memory leak: __x._mp_d [memleak] why3-1.3.3/examples/multiprecision/tests.c:304:3: error: Memory leak: __x._mp_d [memleak] why3-1.3.3/examples/multiprecision/tests.c:317:2: style: Label 'ret' is not used. [unusedLabel] why3-1.3.3/examples/multiprecision/tests.c:965:2: style: Label 'skip' is not used. [unusedLabel] why3-1.3.3/examples/multiprecision/tests.c:283:3: error: Uninitialized variable: nm1 [uninitvar] why3-1.3.3/examples/multiprecision/tests.c:304:3: error: Uninitialized variable: nm3 [uninitvar] why3-1.3.3/examples/multiprecision/tests.c:286:3: error: Uninitialized variable: x [uninitvar] why3-1.3.3/examples/multiprecision/tests.c:287:3: error: Uninitialized variable: y [uninitvar] why3-1.3.3/examples/multiprecision/tests.c:300:3: error: Uninitialized variable: q [uninitvar] why3-1.3.3/examples/multiprecision/tests.c:118:7: style: Unused variable: cnt [unusedVariable] why3-1.3.3/examples/multiprecision/tests.c:119:23: style: Unused variable: itch [unusedVariable] why3-1.3.3/examples/multiprecision/tests.c:120:9: style: Unused variable: new_b [unusedVariable] why3-1.3.3/examples/multiprecision/tests.c:1260:11: style: Variable 'nb_iter' is assigned a value that is never used. [unreadVariable] why3-1.3.3/examples/multiprecision/tests.c:1261:11: style: Variable 'elapsed' is assigned a value that is never used. [unreadVariable] why3-1.3.3/examples/multiprecision/tests.c:1262:9: style: Variable 'i' is assigned a value that is never used. [unreadVariable] why3-1.3.3/examples/multiprecision/tests.c:331:52: style: Unused variable: rep [unusedVariable] why3-1.3.3/plugins/microc/test.c:10:3: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn] why3-1.3.3/src/jessie/tests/basic/array.c:10:11: style: Parameter 't' can be declared with const [constParameter] why3-1.3.3/src/jessie/tests/basic/call.c:18:5: style: Variable 'y' is assigned a value that is never used. [unreadVariable] why3-1.3.3/src/jessie/tests/basic/forty-two.c:10:9: style: Variable 'x' is assigned a value that is never used. [unreadVariable] why3-1.3.3/src/jessie/tests/demo/array_max.c:24:14: style: Parameter 'a' can be declared with const [constParameter] why3-1.3.3/src/jessie/tests/demo/binary_search.c:23:24: style: Parameter 't' can be declared with const [constParameter] why3-1.3.3/src/jessie/tests/demo/flag.c:29:24: style: Parameter 't' can be declared with const [constParameter] why3-1.3.3/src/jessie/tests/demo/selection_sort.c:89:3: style: Label 'L' is not used. [unusedLabel] why3-1.3.3/src/jessie/tests/demo/sparse_array.c:105:5: style: Variable 'x' is reassigned a value before the old one has been used. [redundantAssignment] why3-1.3.3/src/jessie/tests/demo/sparse_array.c:102:5: note: x is assigned why3-1.3.3/src/jessie/tests/demo/sparse_array.c:105:5: note: x is overwritten why3-1.3.3/src/jessie/tests/demo/sparse_array.c:105:19: style: Variable 'y' is reassigned a value before the old one has been used. [redundantAssignment] why3-1.3.3/src/jessie/tests/demo/sparse_array.c:102:19: note: y is assigned why3-1.3.3/src/jessie/tests/demo/sparse_array.c:105:19: note: y is overwritten why3-1.3.3/src/jessie/tests/demo/sparse_array.c:107:5: style: Variable 'x' is reassigned a value before the old one has been used. [redundantAssignment] why3-1.3.3/src/jessie/tests/demo/sparse_array.c:105:5: note: x is assigned why3-1.3.3/src/jessie/tests/demo/sparse_array.c:107:5: note: x is overwritten why3-1.3.3/src/jessie/tests/demo/sparse_array.c:107:19: style: Variable 'y' is reassigned a value before the old one has been used. [redundantAssignment] why3-1.3.3/src/jessie/tests/demo/sparse_array.c:105:19: note: y is assigned why3-1.3.3/src/jessie/tests/demo/sparse_array.c:107:19: note: y is overwritten why3-1.3.3/src/jessie/tests/demo/sparse_array.c:107:5: style: Variable 'x' is assigned a value that is never used. [unreadVariable] why3-1.3.3/src/jessie/tests/demo/sparse_array.c:107:19: style: Variable 'y' is assigned a value that is never used. [unreadVariable] why3-1.3.3/src/server/logging.c:26:20: style:inconclusive: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'. [funcArgNamesDifferent] why3-1.3.3/src/server/logging.h:17:20: note: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'. why3-1.3.3/src/server/logging.c:26:20: note: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'. why3-1.3.3/src/server/proc.c:45:25: style:inconclusive: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'. [funcArgNamesDifferent] why3-1.3.3/src/server/proc.h:38:25: note: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'. why3-1.3.3/src/server/proc.c:45:25: note: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'. why3-1.3.3/src/server/request.c:33:28: style: Parameter 'buf' can be declared with const [constParameter] why3-1.3.3/src/server/server-unix.c:94:5: error: Common realloc mistake: 'poll_list' nulled but not freed upon failure [memleakOnRealloc] why3-1.3.3/src/server/server-unix.c:392:20: warning: Either the condition 'msgbuf==NULL' is redundant or there is possible null pointer dereference: msgbuf. [nullPointerRedundantCheck] why3-1.3.3/src/server/server-unix.c:388:15: note: Assuming that condition 'msgbuf==NULL' is not redundant why3-1.3.3/src/server/server-unix.c:392:20: note: Null pointer dereference why3-1.3.3/src/server/server-unix.c:419:20: warning: Either the condition 'msgbuf==NULL' is redundant or there is possible null pointer dereference: msgbuf. [nullPointerRedundantCheck] why3-1.3.3/src/server/server-unix.c:416:15: note: Assuming that condition 'msgbuf==NULL' is not redundant why3-1.3.3/src/server/server-unix.c:419:20: note: Null pointer dereference diff: head why3-1.3.3/plugins/microc/test.c:10:3: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn] head why3-1.3.3/src/jessie/tests/basic/array.c:10:11: style: Parameter 't' can be declared with const [constParameter] head why3-1.3.3/src/jessie/tests/demo/array_max.c:24:14: style: Parameter 'a' can be declared with const [constParameter] head why3-1.3.3/src/jessie/tests/demo/binary_search.c:23:24: style: Parameter 't' can be declared with const [constParameter] head why3-1.3.3/src/jessie/tests/demo/flag.c:29:24: style: Parameter 't' can be declared with const [constParameter] head why3-1.3.3/src/server/request.c:33:28: style: Parameter 'buf' can be declared with const [constParameter] 2.5 why3-1.3.3/src/server/request.c:52:12: warning: The address of local variable 'tmp' might be accessed at non-zero index. [objectIndex] why3-1.3.3/src/server/request.c:100:49: note: Address of variable taken here. why3-1.3.3/src/server/request.c:100:49: note: Calling function 'copy_up_to_semicolon', 4th argument '&tmp' value is lifetime=tmp why3-1.3.3/src/server/request.c:52:12: note: The address of local variable 'tmp' might be accessed at non-zero index. 2.5 why3-1.3.3/src/server/request.c:52:12: warning: The address of local variable 'tmp' might be accessed at non-zero index. [objectIndex] why3-1.3.3/src/server/request.c:116:49: note: Address of variable taken here. why3-1.3.3/src/server/request.c:116:49: note: Calling function 'copy_up_to_semicolon', 4th argument '&tmp' value is lifetime=tmp why3-1.3.3/src/server/request.c:52:12: note: The address of local variable 'tmp' might be accessed at non-zero index. 2.5 why3-1.3.3/src/server/request.c:52:12: warning: The address of local variable 'tmp' might be accessed at non-zero index. [objectIndex] why3-1.3.3/src/server/request.c:119:49: note: Address of variable taken here. why3-1.3.3/src/server/request.c:119:49: note: Calling function 'copy_up_to_semicolon', 4th argument '&tmp' value is lifetime=tmp why3-1.3.3/src/server/request.c:52:12: note: The address of local variable 'tmp' might be accessed at non-zero index. 2.5 why3-1.3.3/src/server/request.c:52:12: warning: The address of local variable 'tmp' might be accessed at non-zero index. [objectIndex] why3-1.3.3/src/server/request.c:75:52: note: Address of variable taken here. why3-1.3.3/src/server/request.c:75:52: note: Calling function 'copy_up_to_semicolon', 4th argument '&tmp' value is lifetime=tmp why3-1.3.3/src/server/request.c:52:12: note: The address of local variable 'tmp' might be accessed at non-zero index. 2.5 why3-1.3.3/src/server/request.c:52:12: warning: The address of local variable 'tmp' might be accessed at non-zero index. [objectIndex] why3-1.3.3/src/server/request.c:78:54: note: Address of variable taken here. why3-1.3.3/src/server/request.c:78:54: note: Calling function 'copy_up_to_semicolon', 4th argument '&tmp' value is lifetime=tmp why3-1.3.3/src/server/request.c:52:12: note: The address of local variable 'tmp' might be accessed at non-zero index. DONE