2025-07-01 13:27
ftp://ftp.de.debian.org/debian/pool/main/w/why3/why3_1.8.0.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 -j6
platform: Linux-6.1.0-37-amd64-x86_64-with-glibc2.36
python: 3.11.2
client-version: 1.3.67
compiler: g++ (Debian 12.2.0-14+deb12u1) 12.2.0
cppcheck: head 2.17.0
head-info: f4eb733 (2025-07-01 13:53:18 +0200)
count: 133 132
elapsed-time: 0.6 0.6
head-timing-info:

old-timing-info:

head results:
why3-1.8.0/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.0/src/jessie/tests/basic/array.c:10:11: style: Parameter 't' can be declared as const array [constParameter]
why3-1.8.0/examples/micro-c/dicho.c:7:15: style: Parameter 'a' can be declared as const array [constParameter]
why3-1.8.0/src/jessie/tests/basic/call.c:18:5: style: Variable 'y' is assigned a value that is never used. [unreadVariable]
why3-1.8.0/src/jessie/tests/basic/forty-two.c:10:9: style: Variable 'x' is assigned a value that is never used. [unreadVariable]
why3-1.8.0/src/jessie/tests/basic/forty-two.c:10:7: style: Variable 'x' is assigned a value that is never used. [unreadVariable]
why3-1.8.0/src/jessie/tests/demo/array_max.c:24:14: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/jessie/tests/demo/binary_search.c:23:24: style: Parameter 't' can be declared as const array [constParameter]
why3-1.8.0/src/jessie/tests/demo/selection_sort.c:89:3: style: Label 'L' is not used. [unusedLabel]
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:57:3: note: Null pointer dereference
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:58:3: note: Null pointer dereference
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:59:3: note: Null pointer dereference
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:60:3: note: Null pointer dereference
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:56:40: note: Assuming allocation function fails
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:61:3: note: Null pointer dereference
why3-1.8.0/src/server/options.c:27:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable required_argument [valueFlowBailoutIncompleteVar]
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:102:5: note: x is assigned
why3-1.8.0/src/jessie/tests/demo/sparse_array.c:105:5: note: x is overwritten
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:102:19: note: y is assigned
why3-1.8.0/src/jessie/tests/demo/sparse_array.c:105:19: note: y is overwritten
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:105:5: note: x is assigned
why3-1.8.0/src/jessie/tests/demo/sparse_array.c:107:5: note: x is overwritten
why3-1.8.0/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.0/src/jessie/tests/demo/sparse_array.c:105:19: note: y is assigned
why3-1.8.0/src/jessie/tests/demo/sparse_array.c:107:19: note: y is overwritten
why3-1.8.0/src/jessie/tests/demo/sparse_array.c:107:5: style: Variable 'x' is assigned a value that is never used. [unreadVariable]
why3-1.8.0/src/jessie/tests/demo/sparse_array.c:107:19: style: Variable 'y' is assigned a value that is never used. [unreadVariable]
why3-1.8.0/src/server/cpulimit-unix.c:40:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _SC_CLK_TCK [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/cpulimit-unix.c:46:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/cpulimit-unix.c:53:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/cpulimit-unix.c:120:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/arraylist.c:24:3: warning: If memory allocation fails, then there is a possible null pointer dereference: result [nullPointerOutOfMemory]
why3-1.8.0/src/server/arraylist.c:23:27: note: Assuming allocation function fails
why3-1.8.0/src/server/arraylist.c:23:12: note: Assignment 'result=(struct t_list*)malloc(sizeof(struct t_list))', assigned value is 0
why3-1.8.0/src/server/arraylist.c:24:3: note: Null pointer dereference
why3-1.8.0/src/server/arraylist.c:25:3: warning: If memory allocation fails, then there is a possible null pointer dereference: result [nullPointerOutOfMemory]
why3-1.8.0/src/server/arraylist.c:23:27: note: Assuming allocation function fails
why3-1.8.0/src/server/arraylist.c:23:12: note: Assignment 'result=(struct t_list*)malloc(sizeof(struct t_list))', assigned value is 0
why3-1.8.0/src/server/arraylist.c:25:3: note: Null pointer dereference
why3-1.8.0/src/server/arraylist.c:26:3: warning: If memory allocation fails, then there is a possible null pointer dereference: result [nullPointerOutOfMemory]
why3-1.8.0/src/server/arraylist.c:23:27: note: Assuming allocation function fails
why3-1.8.0/src/server/arraylist.c:23:12: note: Assignment 'result=(struct t_list*)malloc(sizeof(struct t_list))', assigned value is 0
why3-1.8.0/src/server/arraylist.c:26:3: note: Null pointer dereference
why3-1.8.0/src/server/arraylist.c:27:3: warning: If memory allocation fails, then there is a possible null pointer dereference: result [nullPointerOutOfMemory]
why3-1.8.0/src/server/arraylist.c:23:27: note: Assuming allocation function fails
why3-1.8.0/src/server/arraylist.c:23:12: note: Assignment 'result=(struct t_list*)malloc(sizeof(struct t_list))', assigned value is 0
why3-1.8.0/src/server/arraylist.c:27:3: note: Null pointer dereference
why3-1.8.0/src/server/logging.c:26:20: style:inconclusive: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'. [funcArgNamesDifferent]
why3-1.8.0/src/server/logging.h:17:20: note: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'.
why3-1.8.0/src/server/logging.c:26:20: note: Function 'log_msg' argument 1 names different: declaration 's' definition 'fmt'.
why3-1.8.0/src/server/options.c:25:24: style: Variable 'long_options' can be declared as const array [constVariable]
why3-1.8.0/src/server/proc.c:47:25: style:inconclusive: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'. [funcArgNamesDifferent]
why3-1.8.0/src/server/proc.h:38:25: note: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'.
why3-1.8.0/src/server/proc.c:47:25: note: Function 'free_process' argument 1 names different: declaration 'p' definition 'proc'.
why3-1.8.0/src/server/proc.c:37:36: style: Parameter 'id' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/server/readbuf.c:23:3: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.0/src/server/readbuf.c:22:26: note: Assuming allocation function fails
why3-1.8.0/src/server/readbuf.c:22:9: note: Assignment 'buf=(struct t_readbuf*)malloc(sizeof(struct t_readbuf))', assigned value is 0
why3-1.8.0/src/server/readbuf.c:23:3: note: Null pointer dereference
why3-1.8.0/src/server/readbuf.c:24:3: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.0/src/server/readbuf.c:22:26: note: Assuming allocation function fails
why3-1.8.0/src/server/readbuf.c:22:9: note: Assignment 'buf=(struct t_readbuf*)malloc(sizeof(struct t_readbuf))', assigned value is 0
why3-1.8.0/src/server/readbuf.c:24:3: note: Null pointer dereference
why3-1.8.0/src/server/readbuf.c:25:3: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.0/src/server/readbuf.c:22:26: note: Assuming allocation function fails
why3-1.8.0/src/server/readbuf.c:22:9: note: Assignment 'buf=(struct t_readbuf*)malloc(sizeof(struct t_readbuf))', assigned value is 0
why3-1.8.0/src/server/readbuf.c:25:3: note: Null pointer dereference
why3-1.8.0/src/server/queue.c:23:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
why3-1.8.0/src/server/queue.c:22:31: note: Assuming allocation function fails
why3-1.8.0/src/server/queue.c:22:16: note: Assignment 'res=(struct t_queue*)malloc(sizeof(struct t_queue))', assigned value is 0
why3-1.8.0/src/server/queue.c:23:3: note: Null pointer dereference
why3-1.8.0/src/server/queue.c:24:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
why3-1.8.0/src/server/queue.c:22:31: note: Assuming allocation function fails
why3-1.8.0/src/server/queue.c:22:16: note: Assignment 'res=(struct t_queue*)malloc(sizeof(struct t_queue))', assigned value is 0
why3-1.8.0/src/server/queue.c:24:3: note: Null pointer dereference
why3-1.8.0/src/server/queue.c:25:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
why3-1.8.0/src/server/queue.c:22:31: note: Assuming allocation function fails
why3-1.8.0/src/server/queue.c:22:16: note: Assignment 'res=(struct t_queue*)malloc(sizeof(struct t_queue))', assigned value is 0
why3-1.8.0/src/server/queue.c:25:3: note: Null pointer dereference
why3-1.8.0/src/server/queue.c:26:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
why3-1.8.0/src/server/queue.c:22:31: note: Assuming allocation function fails
why3-1.8.0/src/server/queue.c:22:16: note: Assignment 'res=(struct t_queue*)malloc(sizeof(struct t_queue))', assigned value is 0
why3-1.8.0/src/server/queue.c:26:3: note: Null pointer dereference
why3-1.8.0/src/server/request.c:183:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable callback [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/writebuf.c:20:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.0/src/server/writebuf.c:19:38: note: Assuming allocation function fails
why3-1.8.0/src/server/writebuf.c:19:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.0/src/server/writebuf.c:20:4: note: Null pointer dereference
why3-1.8.0/src/server/writebuf.c:21:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.0/src/server/writebuf.c:19:38: note: Assuming allocation function fails
why3-1.8.0/src/server/writebuf.c:19:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.0/src/server/writebuf.c:21:4: note: Null pointer dereference
why3-1.8.0/src/server/writebuf.c:22:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.0/src/server/writebuf.c:19:38: note: Assuming allocation function fails
why3-1.8.0/src/server/writebuf.c:19:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.0/src/server/writebuf.c:22:4: note: Null pointer dereference
why3-1.8.0/src/server/writebuf.c:23:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.0/src/server/writebuf.c:19:38: note: Assuming allocation function fails
why3-1.8.0/src/server/writebuf.c:19:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.0/src/server/writebuf.c:23:4: note: Null pointer dereference
why3-1.8.0/src/server/writebuf.c:24:4: warning: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory]
why3-1.8.0/src/server/writebuf.c:19:38: note: Assuming allocation function fails
why3-1.8.0/src/server/writebuf.c:19:20: note: Assignment 'buf=(struct t_writebuf*)malloc(sizeof(struct t_writebuf))', assigned value is 0
why3-1.8.0/src/server/writebuf.c:24:4: note: Null pointer dereference
why3-1.8.0/src/server/cpulimit-unix.c:52:18: style: Parameter 'argv0' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/trywhy3/examples/micro-c/dicho.c:7:15: style: Parameter 'a' can be declared as const array [constParameter]
why3-1.8.0/src/server/server-unix.c:81:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:94:67: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pollfd [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:104:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:114:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:123:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:148:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sockaddr_un [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:189:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:202:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable F_GETFL [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:231:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sockaddr_un [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:253:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:309:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLLOUT [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:352:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:410:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable POLLOUT [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:473:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WNOHANG [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/server-unix.c:649:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
why3-1.8.0/src/server/request.c:87:7: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:86:30: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:86:13: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:87:7: note: Null pointer dereference
why3-1.8.0/src/server/request.c:88:7: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:86:30: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:86:13: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:88:7: note: Null pointer dereference
why3-1.8.0/src/server/request.c:111:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:110:26: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:110:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:111:3: note: Null pointer dereference
why3-1.8.0/src/server/request.c:112:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:110:26: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:110:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:112:3: note: Null pointer dereference
why3-1.8.0/src/server/request.c:113:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:110:26: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:110:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:113:3: note: Null pointer dereference
why3-1.8.0/src/server/request.c:114:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:110:26: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:110:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:114:3: note: Null pointer dereference
why3-1.8.0/src/server/request.c:117:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:110:26: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:110:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:117:3: note: Null pointer dereference
why3-1.8.0/src/server/request.c:120:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:110:26: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:110:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:120:3: note: Null pointer dereference
why3-1.8.0/src/server/request.c:123:3: warning: If memory allocation fails, then there is a possible null pointer dereference: req [nullPointerOutOfMemory]
why3-1.8.0/src/server/request.c:110:26: note: Assuming allocation function fails
why3-1.8.0/src/server/request.c:110:9: note: Assignment 'req=(struct request*)malloc(sizeof(struct request))', assigned value is 0
why3-1.8.0/src/server/request.c:123:3: note: Null pointer dereference
why3-1.8.0/src/server/request.c:33:28: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/server/request.c:43:32: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/server/request.c:175:39: style: Parameter 'id' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/server/request.c:78:11: style: Variable 'pos' is assigned a value that is never used. [unreadVariable]
why3-1.8.0/src/server/request.c:89:11: style: Variable 'pos' is assigned a value that is never used. [unreadVariable]
why3-1.8.0/src/server/server-unix.c:94:5: error: Common realloc mistake: 'poll_list' nulled but not freed upon failure [memleakOnRealloc]
why3-1.8.0/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.0/src/server/server-unix.c:135:28: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:135:14: note: Assignment 'template=(char*)malloc(sizeof(char)*(len+12))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:136:10: note: Null pointer dereference
why3-1.8.0/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.0/src/server/server-unix.c:135:28: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:135:14: note: Assignment 'template=(char*)malloc(sizeof(char)*(len+12))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:137:10: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:138:10: warning: If memory allocation fails, then there is a possible null pointer dereference: template [nullPointerOutOfMemory]
why3-1.8.0/src/server/server-unix.c:135:28: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:135:14: note: Assignment 'template=(char*)malloc(sizeof(char)*(len+12))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:138:10: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:140:18: warning: If memory allocation fails, then there is a possible null pointer dereference: template [nullPointerOutOfMemory]
why3-1.8.0/src/server/server-unix.c:135:28: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:135:14: note: Assignment 'template=(char*)malloc(sizeof(char)*(len+12))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:140:18: note: Null pointer dereference
why3-1.8.0/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.0/src/server/server-unix.c:153:28: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:153:12: note: Assignment 'client=(struct t_client*)malloc(sizeof(struct t_client))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:154:3: note: Null pointer dereference
why3-1.8.0/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.0/src/server/server-unix.c:153:28: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:153:12: note: Assignment 'client=(struct t_client*)malloc(sizeof(struct t_client))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:155:3: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:156:3: warning: If memory allocation fails, then there is a possible null pointer dereference: client [nullPointerOutOfMemory]
why3-1.8.0/src/server/server-unix.c:153:28: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:153:12: note: Assignment 'client=(struct t_client*)malloc(sizeof(struct t_client))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:156:3: note: Null pointer dereference
why3-1.8.0/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.0/src/server/server-unix.c:328:29: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:328:15: note: Assignment 'unix_argv=(char**)malloc(sizeof(char*)*(count+2))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:329:3: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:330:3: warning: If memory allocation fails, then there is a possible null pointer dereference: unix_argv [nullPointerOutOfMemory]
why3-1.8.0/src/server/server-unix.c:328:29: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:328:15: note: Assignment 'unix_argv=(char**)malloc(sizeof(char*)*(count+2))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:330:3: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:332:5: warning: If memory allocation fails, then there is a possible null pointer dereference: unix_argv [nullPointerOutOfMemory]
why3-1.8.0/src/server/server-unix.c:328:29: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:328:15: note: Assignment 'unix_argv=(char**)malloc(sizeof(char*)*(count+2))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:332:5: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:427:20: warning: If memory allocation fails, then there is a possible null pointer dereference: msgbuf [nullPointerOutOfMemory]
why3-1.8.0/src/server/server-unix.c:421:27: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:421:13: note: Assignment 'msgbuf=(char*)malloc(sizeof(char)*len)', assigned value is 0
why3-1.8.0/src/server/server-unix.c:427:20: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:454:20: warning: If memory allocation fails, then there is a possible null pointer dereference: msgbuf [nullPointerOutOfMemory]
why3-1.8.0/src/server/server-unix.c:450:27: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:450:13: note: Assignment 'msgbuf=(char*)malloc(sizeof(char)*len)', assigned value is 0
why3-1.8.0/src/server/server-unix.c:454:20: note: Null pointer dereference
why3-1.8.0/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.0/src/server/server-unix.c:527:24: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:527:10: note: Assignment 'proc=(struct t_proc*)malloc(sizeof(struct t_proc))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:528:3: note: Null pointer dereference
why3-1.8.0/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.0/src/server/server-unix.c:527:24: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:527:10: note: Assignment 'proc=(struct t_proc*)malloc(sizeof(struct t_proc))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:529:3: note: Null pointer dereference
why3-1.8.0/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.0/src/server/server-unix.c:527:24: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:527:10: note: Assignment 'proc=(struct t_proc*)malloc(sizeof(struct t_proc))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:530:3: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:531:3: warning: If memory allocation fails, then there is a possible null pointer dereference: proc [nullPointerOutOfMemory]
why3-1.8.0/src/server/server-unix.c:527:24: note: Assuming allocation function fails
why3-1.8.0/src/server/server-unix.c:527:10: note: Assignment 'proc=(struct t_proc*)malloc(sizeof(struct t_proc))', assigned value is 0
why3-1.8.0/src/server/server-unix.c:531:3: note: Null pointer dereference
why3-1.8.0/src/server/server-unix.c:650:7: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
why3-1.8.0/src/server/server-unix.c:662:11: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
why3-1.8.0/src/server/server-unix.c:131:26: style: Parameter 'dir' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/server/server-unix.c:234:34: style: Parameter 'socketname' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/server/server-unix.c:238:47: style: Variable 'dirn' can be declared as pointer to const [constVariablePointer]
why3-1.8.0/src/server/server-unix.c:238:54: style: Variable 'filen' can be declared as pointer to const [constVariablePointer]
why3-1.8.0/src/server/server-unix.c:402:9: style: Variable 'buf' can be declared as pointer to const [constVariablePointer]
why3-1.8.0/src/server/server-unix.c:415:11: style: Parameter 'id' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/server/server-unix.c:435:31: style: Parameter 'id' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/src/server/server-unix.c:439:31: style: Parameter 'outfile' can be declared as pointer to const [constParameterPointer]
why3-1.8.0/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.0/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.0/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.0/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.0/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.0/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.0/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.0/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.0/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.0/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.0/examples/multiprecision/tests.c:285:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.0/examples/multiprecision/tests.c:288:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.0/examples/multiprecision/tests.c:289:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.0/examples/multiprecision/tests.c:302:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.0/examples/multiprecision/tests.c:306:3: error: Memory leak: __x._mp_d [memleak]
why3-1.8.0/examples/multiprecision/tests.c:786:15: style: Variable 'elapsed' is reassigned a value before the old one has been used. [redundantAssignment]
why3-1.8.0/examples/multiprecision/tests.c:742:19: note: elapsed is assigned
why3-1.8.0/examples/multiprecision/tests.c:786:15: note: elapsed is overwritten
why3-1.8.0/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.0/examples/multiprecision/tests.c:1272:11: note: nb_iter is assigned
why3-1.8.0/examples/multiprecision/tests.c:1308:11: note: nb_iter is overwritten
why3-1.8.0/examples/multiprecision/tests.c:319:2: style: Label 'ret' is not used. [unusedLabel]
why3-1.8.0/examples/multiprecision/tests.c:977:2: style: Label 'skip' is not used. [unusedLabel]
why3-1.8.0/examples/multiprecision/tests.c:285:3: error: Uninitialized variable: nm1 [uninitvar]
why3-1.8.0/examples/multiprecision/tests.c:288:3: error: Uninitialized variable: x [uninitvar]
why3-1.8.0/examples/multiprecision/tests.c:289:3: error: Uninitialized variable: y [uninitvar]
why3-1.8.0/examples/multiprecision/tests.c:302:3: error: Uninitialized variable: q [uninitvar]
why3-1.8.0/examples/multiprecision/tests.c:306:3: error: Uninitialized variable: nm3 [uninitvar]
why3-1.8.0/examples/multiprecision/tests.c:120:7: style: Unused variable: cnt [unusedVariable]
why3-1.8.0/examples/multiprecision/tests.c:121:23: style: Unused variable: itch [unusedVariable]
why3-1.8.0/examples/multiprecision/tests.c:122:9: style: Unused variable: new_b [unusedVariable]
why3-1.8.0/examples/multiprecision/tests.c:333:52: style: Unused variable: rep [unusedVariable]
why3-1.8.0/examples/multiprecision/tests.c:339:29: style: Unused variable: duration [unusedVariable]
diff:
head why3-1.8.0/src/jessie/tests/basic/forty-two.c:10:7: style: Variable 'x' is assigned a value that is never used. [unreadVariable]


DONE