2025-09-17 05:25
ftp://ftp.de.debian.org/debian/pool/main/w/why3/why3_1.8.1.orig.tar.bz2
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-79-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.69
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.18.0
head-info: 3e169d6 (2025-09-15 13:38:15 +0200)
count: 133 133
elapsed-time: 1.2 1.1
head-timing-info:

old-timing-info:

head results:
why3-1.8.1/examples/micro-c/dicho.c:7:15: style: Parameter 'a' can be declared as const array [constParameter]
why3-1.8.1/examples/multiprecision/tests.c:144:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
why3-1.8.1/examples/multiprecision/tests.c:148:23: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
why3-1.8.1/examples/multiprecision/tests.c:160:8: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
why3-1.8.1/examples/multiprecision/tests.c:310:8: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
why3-1.8.1/examples/multiprecision/tests.c:311:8: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
why3-1.8.1/examples/multiprecision/tests.c:1297:7: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
why3-1.8.1/examples/multiprecision/tests.c:1297:7: warning: %ld in format string (no. 2) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
why3-1.8.1/examples/multiprecision/tests.c:1347:13: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
why3-1.8.1/examples/multiprecision/tests.c:1347:13: warning: %ld in format string (no. 2) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
why3-1.8.1/examples/multiprecision/tests.c:1348:13: portability: %lu in format string (no. 4) requires 'unsigned long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_uint]
why3-1.8.1/examples/multiprecision/tests.c:285:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.1/examples/multiprecision/tests.c:288:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.1/examples/multiprecision/tests.c:289:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.1/examples/multiprecision/tests.c:302:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.1/examples/multiprecision/tests.c:306:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.1/examples/multiprecision/tests.c:786:15: style: Variable 'elapsed' is reassigned a value before the old one has been used. [redundantAssignment]
why3-1.8.1/examples/multiprecision/tests.c:742:19: note: elapsed is assigned
why3-1.8.1/examples/multiprecision/tests.c:786:15: note: elapsed is overwritten
why3-1.8.1/examples/multiprecision/tests.c:1308:11: style: Variable 'nb_iter' is reassigned a value before the old one has been used. [redundantAssignment]
why3-1.8.1/examples/multiprecision/tests.c:1272:11: note: nb_iter is assigned
why3-1.8.1/examples/multiprecision/tests.c:1308:11: note: nb_iter is overwritten
why3-1.8.1/examples/multiprecision/tests.c:319:2: style: Label 'ret' is not used. [unusedLabel]
why3-1.8.1/examples/multiprecision/tests.c:977:2: style: Label 'skip' is not used. [unusedLabel]
why3-1.8.1/examples/multiprecision/tests.c:285:3: error: Uninitialized variable: nm1 [uninitvar]
why3-1.8.1/examples/multiprecision/tests.c:288:3: error: Uninitialized variable: x [uninitvar]
why3-1.8.1/examples/multiprecision/tests.c:289:3: error: Uninitialized variable: y [uninitvar]
why3-1.8.1/examples/multiprecision/tests.c:302:3: error: Uninitialized variable: q [uninitvar]
why3-1.8.1/examples/multiprecision/tests.c:306:3: error: Uninitialized variable: nm3 [uninitvar]
why3-1.8.1/examples/multiprecision/tests.c:120:7: style: Unused variable: cnt [unusedVariable]
why3-1.8.1/examples/multiprecision/tests.c:121:23: style: Unused variable: itch [unusedVariable]
why3-1.8.1/examples/multiprecision/tests.c:122:9: style: Unused variable: new_b [unusedVariable]
why3-1.8.1/examples/multiprecision/tests.c:333:52: style: Unused variable: rep [unusedVariable]
why3-1.8.1/examples/multiprecision/tests.c:339:29: style: Unused variable: duration [unusedVariable]
why3-1.8.1/plugins/microc/test.c:10:3: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
why3-1.8.1/src/jessie/tests/basic/array.c:10:11: style: Parameter 't' can be declared as const array [constParameter]
why3-1.8.1/src/jessie/tests/basic/call.c:18:5: style: Variable 'y' is assigned a value that is never used. [unreadVariable]
why3-1.8.1/src/jessie/tests/basic/forty-two.c:10:9: style: Variable 'x' is assigned a value that is never used. [unreadVariable]
why3-1.8.1/src/jessie/tests/basic/forty-two.c:10:7: style: Variable 'x' is assigned a value that is never used. [unreadVariable]
why3-1.8.1/src/jessie/tests/demo/array_max.c:24:14: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/jessie/tests/demo/binary_search.c:23:24: style: Parameter 't' can be declared as const array [constParameter]
why3-1.8.1/src/jessie/tests/demo/selection_sort.c:89:3: style: Label 'L' is not used. [unusedLabel]
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:57:3: warning: If memory allocation fails, then there is a possible null pointer dereference: a [nullPointerOutOfMemory]
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:20: note: Assignment 'a=(struct sparse_arraysparse_array)malloc(sizeof(struct SparseArray))', assigned value is 0
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:57:3: note: Null pointer dereference
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:58:3: warning: If memory allocation fails, then there is a possible null pointer dereference: a [nullPointerOutOfMemory]
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:20: note: Assignment 'a=(struct sparse_arraysparse_array)malloc(sizeof(struct SparseArray))', assigned value is 0
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:58:3: note: Null pointer dereference
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:59:3: warning: If memory allocation fails, then there is a possible null pointer dereference: a [nullPointerOutOfMemory]
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:20: note: Assignment 'a=(struct sparse_arraysparse_array)malloc(sizeof(struct SparseArray))', assigned value is 0
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:59:3: note: Null pointer dereference
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:60:3: warning: If memory allocation fails, then there is a possible null pointer dereference: a [nullPointerOutOfMemory]
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:20: note: Assignment 'a=(struct sparse_arraysparse_array)malloc(sizeof(struct SparseArray))', assigned value is 0
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:60:3: note: Null pointer dereference
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:61:3: warning: If memory allocation fails, then there is a possible null pointer dereference: a [nullPointerOutOfMemory]
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:56:20: note: Assignment 'a=(struct sparse_arraysparse_array)malloc(sizeof(struct SparseArray))', assigned value is 0
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:61:3: note: Null pointer dereference
why3-1.8.1/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.8.1/src/jessie/tests/demo/sparse_array.c:102:5: note: x is assigned
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:105:5: note: x is overwritten
why3-1.8.1/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.8.1/src/jessie/tests/demo/sparse_array.c:102:19: note: y is assigned
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:105:19: note: y is overwritten
why3-1.8.1/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.8.1/src/jessie/tests/demo/sparse_array.c:105:5: note: x is assigned
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:107:5: note: x is overwritten
why3-1.8.1/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.8.1/src/jessie/tests/demo/sparse_array.c:105:19: note: y is assigned
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:107:19: note: y is overwritten
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:107:5: style: Variable 'x' is assigned a value that is never used. [unreadVariable]
why3-1.8.1/src/jessie/tests/demo/sparse_array.c:107:19: style: Variable 'y' is assigned a value that is never used. [unreadVariable]
why3-1.8.1/src/server/arraylist.c:23:3: warning: If memory allocation fails, then there is a possible null pointer dereference: result [nullPointerOutOfMemory]
why3-1.8.1/src/server/arraylist.c:22:27: note: Assuming allocation function fails
why3-1.8.1/src/server/arraylist.c:22:12: note: Assignment 'result=(struct t_list*)malloc(sizeof(struct t_list))', assigned value is 0
why3-1.8.1/src/server/arraylist.c:23:3: note: Null pointer dereference
why3-1.8.1/src/server/arraylist.c:24:3: warning: If memory allocation fails, then there is a possible null pointer dereference: result [nullPointerOutOfMemory]
why3-1.8.1/src/server/arraylist.c:22:27: note: Assuming allocation function fails
why3-1.8.1/src/server/arraylist.c:22:12: note: Assignment 'result=(struct t_list*)malloc(sizeof(struct t_list))', assigned value is 0
why3-1.8.1/src/server/arraylist.c:24:3: note: Null pointer dereference
why3-1.8.1/src/server/arraylist.c:25:3: warning: If memory allocation fails, then there is a possible null pointer dereference: result [nullPointerOutOfMemory]
why3-1.8.1/src/server/arraylist.c:22:27: note: Assuming allocation function fails
why3-1.8.1/src/server/arraylist.c:22:12: note: Assignment 'result=(struct t_list*)malloc(sizeof(struct t_list))', assigned value is 0
why3-1.8.1/src/server/arraylist.c:25:3: note: Null pointer dereference
why3-1.8.1/src/server/arraylist.c:26:3: warning: If memory allocation fails, then there is a possible null pointer dereference: result [nullPointerOutOfMemory]
why3-1.8.1/src/server/arraylist.c:22:27: note: Assuming allocation function fails
why3-1.8.1/src/server/arraylist.c:22:12: note: Assignment 'result=(struct t_list*)malloc(sizeof(struct t_list))', assigned value is 0
why3-1.8.1/src/server/arraylist.c:26:3: note: Null pointer dereference
why3-1.8.1/src/server/cpulimit-unix.c:39:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _SC_CLK_TCK [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/cpulimit-unix.c:45:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/cpulimit-unix.c:52:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/cpulimit-unix.c:119:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/cpulimit-unix.c:51:18: style: Parameter 'argv0' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/logging.c:25:20: style:inconclusive: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'. [funcArgNamesDifferent]
why3-1.8.1/src/server/logging.h:16:20: note: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'.
why3-1.8.1/src/server/logging.c:25:20: note: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'.
why3-1.8.1/src/server/options.c:26:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable required_argument [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/options.c:24:24: style: Variable 'long_options' can be declared as const array [constVariable]
why3-1.8.1/src/server/proc.c:46:25: style:inconclusive: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'. [funcArgNamesDifferent]
why3-1.8.1/src/server/proc.h:37:25: note: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'.
why3-1.8.1/src/server/proc.c:46:25: note: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'.
why3-1.8.1/src/server/proc.c:36:36: style: Parameter 'id' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/queue.c:22:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
why3-1.8.1/src/server/queue.c:21:31: note: Assuming allocation function fails
why3-1.8.1/src/server/queue.c:21:16: note: Assignment 'res=(struct t_queue*)malloc(sizeof(struct t_queue))', assigned value is 0
why3-1.8.1/src/server/queue.c:22:3: note: Null pointer dereference
why3-1.8.1/src/server/queue.c:23:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
why3-1.8.1/src/server/queue.c:21:31: note: Assuming allocation function fails
why3-1.8.1/src/server/queue.c:21:16: note: Assignment 'res=(struct t_queue*)malloc(sizeof(struct t_queue))', assigned value is 0
why3-1.8.1/src/server/queue.c:23:3: note: Null pointer dereference
why3-1.8.1/src/server/queue.c:24:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
why3-1.8.1/src/server/queue.c:21:31: note: Assuming allocation function fails
why3-1.8.1/src/server/queue.c:21:16: note: Assignment 'res=(struct t_queue*)malloc(sizeof(struct t_queue))', assigned value is 0
why3-1.8.1/src/server/queue.c:24:3: note: Null pointer dereference
why3-1.8.1/src/server/queue.c:25:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
why3-1.8.1/src/server/queue.c:21:31: note: Assuming allocation function fails
why3-1.8.1/src/server/queue.c:21:16: note: Assignment 'res=(struct t_queue*)malloc(sizeof(struct t_queue))', assigned value is 0
why3-1.8.1/src/server/queue.c:25:3: note: Null pointer dereference
why3-1.8.1/src/server/readbuf.c:22:3: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.1/src/server/readbuf.c:21:26: note: Assuming allocation function fails
why3-1.8.1/src/server/readbuf.c:21:9: note: Assignment 'buf=(struct t_readbuf*)malloc(sizeof(struct t_readbuf))', assigned value is 0
why3-1.8.1/src/server/readbuf.c:22:3: note: Null pointer dereference
why3-1.8.1/src/server/readbuf.c:23:3: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.1/src/server/readbuf.c:21:26: note: Assuming allocation function fails
why3-1.8.1/src/server/readbuf.c:21:9: note: Assignment 'buf=(struct t_readbuf*)malloc(sizeof(struct t_readbuf))', assigned value is 0
why3-1.8.1/src/server/readbuf.c:23:3: note: Null pointer dereference
why3-1.8.1/src/server/readbuf.c:24:3: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.1/src/server/readbuf.c:21:26: note: Assuming allocation function fails
why3-1.8.1/src/server/readbuf.c:21:9: note: Assignment 'buf=(struct t_readbuf*)malloc(sizeof(struct t_readbuf))', assigned value is 0
why3-1.8.1/src/server/readbuf.c:24:3: note: Null pointer dereference
why3-1.8.1/src/server/request.c:182:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable callback [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/request.c:86:7: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:85:30: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:85:13: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:86:7: note: Null pointer dereference
why3-1.8.1/src/server/request.c:87:7: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:85:30: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:85:13: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:87:7: note: Null pointer dereference
why3-1.8.1/src/server/request.c:110:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:109:26: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:109:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:110:3: note: Null pointer dereference
why3-1.8.1/src/server/request.c:111:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:109:26: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:109:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:111:3: note: Null pointer dereference
why3-1.8.1/src/server/request.c:112:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:109:26: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:109:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:112:3: note: Null pointer dereference
why3-1.8.1/src/server/request.c:113:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:109:26: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:109:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:113:3: note: Null pointer dereference
why3-1.8.1/src/server/request.c:116:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:109:26: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:109:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:116:3: note: Null pointer dereference
why3-1.8.1/src/server/request.c:119:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:109:26: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:109:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:119:3: note: Null pointer dereference
why3-1.8.1/src/server/request.c:122:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.1/src/server/request.c:109:26: note: Assuming allocation function fails
why3-1.8.1/src/server/request.c:109:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.1/src/server/request.c:122:3: note: Null pointer dereference
why3-1.8.1/src/server/request.c:32:28: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/request.c:42:32: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/request.c:174:39: style: Parameter 'id' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/request.c:77:11: style: Variable 'pos' is assigned a value that is never used. [unreadVariable]
why3-1.8.1/src/server/request.c:88:11: style: Variable 'pos' is assigned a value that is never used. [unreadVariable]
why3-1.8.1/src/server/server-unix.c:80:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:93:67: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pollfd [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:103:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:113:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:122:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:147:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sockaddr_un [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:188:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:201:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable F_GETFL [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:230:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sockaddr_un [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:252:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:308:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLLOUT [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:351:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:409:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLLOUT [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:472:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WNOHANG [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:648:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
why3-1.8.1/src/server/server-unix.c:93:5: error: Common realloc mistake: 'poll_list' nulled but not freed upon failure [memleakOnRealloc]
why3-1.8.1/src/server/server-unix.c:135:10: warning: If memory allocation fails, then there is a possible null pointer dereference: template [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:134:28: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:134:14: note: Assignment 'template=(char*)malloc(sizeof(char)*(len+12))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:135:10: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:136:10: warning: If memory allocation fails, then there is a possible null pointer dereference: template [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:134:28: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:134:14: note: Assignment 'template=(char*)malloc(sizeof(char)*(len+12))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:136:10: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:137:10: warning: If memory allocation fails, then there is a possible null pointer dereference: template [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:134:28: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:134:14: note: Assignment 'template=(char*)malloc(sizeof(char)*(len+12))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:137:10: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:139:18: warning: If memory allocation fails, then there is a possible null pointer dereference: template [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:134:28: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:134:14: note: Assignment 'template=(char*)malloc(sizeof(char)*(len+12))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:139:18: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:153:3: warning: If memory allocation fails, then there is a possible null pointer dereference: client [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:152:28: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:152:12: note: Assignment 'client=(struct t_client*)malloc(sizeof(struct t_client))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:153:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:154:3: warning: If memory allocation fails, then there is a possible null pointer dereference: client [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:152:28: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:152:12: note: Assignment 'client=(struct t_client*)malloc(sizeof(struct t_client))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:154:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:155:3: warning: If memory allocation fails, then there is a possible null pointer dereference: client [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:152:28: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:152:12: note: Assignment 'client=(struct t_client*)malloc(sizeof(struct t_client))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:155:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:328:3: warning: If memory allocation fails, then there is a possible null pointer dereference: unix_argv [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:327:29: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:327:15: note: Assignment 'unix_argv=(char**)malloc(sizeof(char*)*(count+2))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:328:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:329:3: warning: If memory allocation fails, then there is a possible null pointer dereference: unix_argv [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:327:29: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:327:15: note: Assignment 'unix_argv=(char**)malloc(sizeof(char*)*(count+2))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:329:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:331:5: warning: If memory allocation fails, then there is a possible null pointer dereference: unix_argv [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:327:29: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:327:15: note: Assignment 'unix_argv=(char**)malloc(sizeof(char*)*(count+2))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:331:5: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:426:20: warning: If memory allocation fails, then there is a possible null pointer dereference: msgbuf [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:420:27: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:420:13: note: Assignment 'msgbuf=(char*)malloc(sizeof(char)*len)', assigned value is 0
why3-1.8.1/src/server/server-unix.c:426:20: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:453:20: warning: If memory allocation fails, then there is a possible null pointer dereference: msgbuf [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:449:27: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:449:13: note: Assignment 'msgbuf=(char*)malloc(sizeof(char)*len)', assigned value is 0
why3-1.8.1/src/server/server-unix.c:453:20: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:527:3: warning: If memory allocation fails, then there is a possible null pointer dereference: proc [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:526:24: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:526:10: note: Assignment 'proc=(struct t_proc*)malloc(sizeof(struct t_proc))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:527:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:528:3: warning: If memory allocation fails, then there is a possible null pointer dereference: proc [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:526:24: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:526:10: note: Assignment 'proc=(struct t_proc*)malloc(sizeof(struct t_proc))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:528:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:529:3: warning: If memory allocation fails, then there is a possible null pointer dereference: proc [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:526:24: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:526:10: note: Assignment 'proc=(struct t_proc*)malloc(sizeof(struct t_proc))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:529:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:530:3: warning: If memory allocation fails, then there is a possible null pointer dereference: proc [nullPointerOutOfMemory]
why3-1.8.1/src/server/server-unix.c:526:24: note: Assuming allocation function fails
why3-1.8.1/src/server/server-unix.c:526:10: note: Assignment 'proc=(struct t_proc*)malloc(sizeof(struct t_proc))', assigned value is 0
why3-1.8.1/src/server/server-unix.c:530:3: note: Null pointer dereference
why3-1.8.1/src/server/server-unix.c:649:7: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
why3-1.8.1/src/server/server-unix.c:661:11: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
why3-1.8.1/src/server/server-unix.c:130:26: style: Parameter 'dir' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/server-unix.c:233:34: style: Parameter 'socketname' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/server-unix.c:237:47: style: Variable 'dirn' can be declared as pointer to const [constVariablePointer]
why3-1.8.1/src/server/server-unix.c:237:54: style: Variable 'filen' can be declared as pointer to const [constVariablePointer]
why3-1.8.1/src/server/server-unix.c:401:9: style: Variable 'buf' can be declared as pointer to const [constVariablePointer]
why3-1.8.1/src/server/server-unix.c:414:11: style: Parameter 'id' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/server-unix.c:434:31: style: Parameter 'id' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/server-unix.c:438:31: style: Parameter 'outfile' can be declared as pointer to const [constParameterPointer]
why3-1.8.1/src/server/writebuf.c:19:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.1/src/server/writebuf.c:18:38: note: Assuming allocation function fails
why3-1.8.1/src/server/writebuf.c:18:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.1/src/server/writebuf.c:19:4: note: Null pointer dereference
why3-1.8.1/src/server/writebuf.c:20:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.1/src/server/writebuf.c:18:38: note: Assuming allocation function fails
why3-1.8.1/src/server/writebuf.c:18:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.1/src/server/writebuf.c:20:4: note: Null pointer dereference
why3-1.8.1/src/server/writebuf.c:21:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.1/src/server/writebuf.c:18:38: note: Assuming allocation function fails
why3-1.8.1/src/server/writebuf.c:18:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.1/src/server/writebuf.c:21:4: note: Null pointer dereference
why3-1.8.1/src/server/writebuf.c:22:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.1/src/server/writebuf.c:18:38: note: Assuming allocation function fails
why3-1.8.1/src/server/writebuf.c:18:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.1/src/server/writebuf.c:22:4: note: Null pointer dereference
why3-1.8.1/src/server/writebuf.c:23:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.1/src/server/writebuf.c:18:38: note: Assuming allocation function fails
why3-1.8.1/src/server/writebuf.c:18:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.1/src/server/writebuf.c:23:4: note: Null pointer dereference
why3-1.8.1/src/trywhy3/examples/micro-c/dicho.c:7:15: style: Parameter 'a' can be declared as const array [constParameter]
diff:


DONE