2025-05-07 16:05
ftp://ftp.de.debian.org/debian/pool/main/r/r-cran-rcsdp/r-cran-rcsdp_0.1.57.5.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=openmp  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j3
platform: Linux-6.8.0-1022-oracle-aarch64-with-glibc2.39
python: 3.12.3
client-version: 1.3.67
compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0
cppcheck: head 2.17.0
head-info: 3726ace (2025-05-07 13:02:19 +0200)
count: 164 160
elapsed-time: 0.8 0.8
head-timing-info:

old-timing-info:

head results:
Rcsdp/src/Csdp/lib/Fnorm.c:17:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/Fnorm.c:51:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/Fnorm.c:81:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/Fnorm.c:111:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/doc/example.c:102:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockrec [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/example/example.c:102:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockrec [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/add_mat.c:15:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/addscaledmat.c:22:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/allocmat.c:23:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockrec [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/allocmat.c:73:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/calc_pobj.c:22:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/copy_mat.c:16:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/chol.c:89:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/chol.c:115:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/chol.c:156:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/copy_mat.c:11:11: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/freeprob.c:41:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/initparams.c:34:11: style: Redundant initialization for 'ret'. The initialized value is overwritten before it is read. [redundantInitialization]
Rcsdp/src/Csdp/lib/initparams.c:33:15: note: ret is initialized
Rcsdp/src/Csdp/lib/initparams.c:34:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:35:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:34:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:35:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:36:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:35:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:36:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:37:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:36:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:37:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:38:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:37:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:38:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:39:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:38:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:39:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:40:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:39:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:40:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:41:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:40:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:41:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:42:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:41:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:42:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:43:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:42:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:43:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:44:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:43:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:44:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:45:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:44:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:45:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:46:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:45:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:46:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:47:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:46:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:47:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initparams.c:48:11: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/initparams.c:47:11: note: ret is assigned
Rcsdp/src/Csdp/lib/initparams.c:48:11: note: ret is overwritten
Rcsdp/src/Csdp/lib/initsoln.c:47:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/initparams.c:48:11: style: Variable 'ret' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/Csdp/lib/easysdp.c:286:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/easysdp.c:572:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/linesearch.c:61:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocksize [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/initsoln.c:30:4: warning: Either the condition 'py0==NULL' is redundant or there is possible null pointer dereference: py0. [nullPointerRedundantCheck]
Rcsdp/src/Csdp/lib/initsoln.c:32:11: note: Assuming that condition 'py0==NULL' is not redundant
Rcsdp/src/Csdp/lib/initsoln.c:30:4: note: Null pointer dereference
Rcsdp/src/Csdp/lib/initsoln.c:13:23: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/make_i.c:15:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/makefill.c:33:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/makefill.c:188:4: warning: Either the condition 'ptr==NULL' is redundant or there is possible null pointer dereference: ptr. [nullPointerRedundantCheck]
Rcsdp/src/Csdp/lib/makefill.c:189:12: note: Assuming that condition 'ptr==NULL' is not redundant
Rcsdp/src/Csdp/lib/makefill.c:188:4: note: Null pointer dereference
Rcsdp/src/Csdp/lib/makefill.c:188:35: warning: Either the condition 'ptr==NULL' is redundant or there is possible null pointer dereference: ptr. [nullPointerRedundantCheck]
Rcsdp/src/Csdp/lib/makefill.c:189:12: note: Assuming that condition 'ptr==NULL' is not redundant
Rcsdp/src/Csdp/lib/makefill.c:188:35: note: Null pointer dereference
Rcsdp/src/Csdp/lib/mat_mult.c:45:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/matvec.c:27:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/mat_multsp.c:79:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/mat_multsp.c:317:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/mat_multsp.c:566:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/op_a.c:29:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/op_a.c:17:11: style: Variable 'mat' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/op_a.c:18:11: style: Variable 'vec' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/op_at.c:32:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/op_at.c:10:14: style: Parameter 'y' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/mat_multsp.c:56:7: style: Unused variable: total_threads [unusedVariable]
Rcsdp/src/Csdp/lib/mat_multsp.c:57:7: style: Unused variable: thread_num [unusedVariable]
Rcsdp/src/Csdp/lib/mat_multsp.c:294:7: style: Unused variable: total_threads [unusedVariable]
Rcsdp/src/Csdp/lib/mat_multsp.c:295:7: style: Unused variable: thread_num [unusedVariable]
Rcsdp/src/Csdp/lib/packed.c:17:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/packed.c:50:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/packed.c:100:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockrec [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/packed.c:154:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/packed.c:182:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/packed.c:12:11: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/packed.c:45:11: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/op_o.c:67:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/readprob.c:192:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockrec [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/readprob.c:775:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/readprob.c:810:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/readprob.c:831:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/readprob.c:916:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/easysdp.c:474:20: warning: Identical inner 'if' condition is always true. [identicalInnerCondition]
Rcsdp/src/Csdp/lib/easysdp.c:439:19: note: outer condition: printlevel>=1
Rcsdp/src/Csdp/lib/easysdp.c:474:20: note: identical inner condition: printlevel>=1
Rcsdp/src/Csdp/lib/easysdp.c:564:23: style: Variable 'ptri' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/easysdp.c:565:23: style: Variable 'ptrj' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/easysdp.c:613:35: style: Parameter 'A' can be declared as const array [constParameter]
Rcsdp/src/Csdp/lib/easysdp.c:635:38: style: Parameter 'A' can be declared as const array [constParameter]
Rcsdp/src/Csdp/lib/easysdp.c:323:12: style: Variable 'blk' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/Csdp/lib/op_o.c:95:8: error: Array 'work[3]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
Rcsdp/src/Csdp/lib/op_o.c:93:16: note: Assignment 'i=1', assigned value is 1
Rcsdp/src/Csdp/lib/op_o.c:95:8: note: Array index out of bounds
Rcsdp/src/Csdp/lib/op_o.c:98:8: error: Array 'work[3]' accessed at index 4, which is out of bounds. [arrayIndexOutOfBounds]
Rcsdp/src/Csdp/lib/op_o.c:93:16: note: Assignment 'i=1', assigned value is 1
Rcsdp/src/Csdp/lib/op_o.c:98:8: note: Array index out of bounds
Rcsdp/src/Csdp/lib/op_o.c:101:12: error: Array 'work[3]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
Rcsdp/src/Csdp/lib/op_o.c:93:16: note: Assignment 'i=1', assigned value is 1
Rcsdp/src/Csdp/lib/op_o.c:101:12: note: Array index out of bounds
Rcsdp/src/Csdp/lib/readsol.c:84:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/readsol.c:11:20: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/readprob.c:171:5: warning: If memory allocation fails, then there is a possible null pointer dereference: isdiag [nullPointerOutOfMemory]
Rcsdp/src/Csdp/lib/readprob.c:169:23: note: Assuming allocation function fails
Rcsdp/src/Csdp/lib/readprob.c:169:10: note: Assignment 'isdiag=(int*)malloc((nblocks+1)*sizeof(int))', assigned value is 0
Rcsdp/src/Csdp/lib/readprob.c:171:5: note: Null pointer dereference
Rcsdp/src/Csdp/lib/readprob.c:624:6: warning: If memory allocation fails, then there is a possible null pointer dereference: tempdiag [nullPointerOutOfMemory]
Rcsdp/src/Csdp/lib/readprob.c:622:29: note: Assuming allocation function fails
Rcsdp/src/Csdp/lib/readprob.c:622:13: note: Assignment 'tempdiag=(double*)malloc((blksz+1)*sizeof(double))', assigned value is 0
Rcsdp/src/Csdp/lib/readprob.c:624:6: note: Null pointer dereference
Rcsdp/src/Csdp/lib/readprob.c:19:21: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/readprob.c:775:11: warning: Storing getc() return value in char variable and then comparing with EOF. [checkCastIntToCharAndBack]
Rcsdp/src/Csdp/lib/readprob.c:692:11: style: Variable 'blk' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/Csdp/lib/readprob.c:808:4: style: Variable 'k' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/Csdp/lib/sortentries.c:65:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/sym_mat.c:23:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/sortentries.c:38:40: style: Condition '((struct entry*)p1)->indexj>((struct entry*)p2)->indexj' is always true [knownConditionTrueFalse]
Rcsdp/src/Csdp/lib/sortentries.c:34:40: note: Assuming that condition '((struct entry*)p1)->indexj==((struct entry*)p2)->indexj' is not redundant
Rcsdp/src/Csdp/lib/sortentries.c:38:40: note: Condition '((struct entry*)p1)->indexj>((struct entry*)p2)->indexj' is always true
Rcsdp/src/Csdp/lib/trace_prod.c:20:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/user_exit.c:51:23: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/user_exit.c:55:40: style: Parameter 'constraints' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/user_exit.c:57:23: style: Parameter 'y' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/writeprob.c:41:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/writesol.c:47:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/writeprob.c:9:22: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/writeprob.c:13:24: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/writeprob.c:19:23: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/writesol.c:9:21: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/writesol.c:13:23: style: Parameter 'y' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/Csdp/lib/zero_mat.c:23:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockcategory [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/theta/complement.c:76:7: warning: If memory allocation fails, then there is a possible null pointer dereference: G [nullPointerOutOfMemory]
Rcsdp/src/Csdp/theta/complement.c:56:18: note: Assuming allocation function fails
Rcsdp/src/Csdp/theta/complement.c:56:5: note: Assignment 'G=(int*)malloc(n*n*sizeof(int))', assigned value is 0
Rcsdp/src/Csdp/theta/complement.c:76:7: note: Null pointer dereference
Rcsdp/src/Csdp/theta/complement.c:77:7: warning: If memory allocation fails, then there is a possible null pointer dereference: G [nullPointerOutOfMemory]
Rcsdp/src/Csdp/theta/complement.c:56:18: note: Assuming allocation function fails
Rcsdp/src/Csdp/theta/complement.c:56:5: note: Assignment 'G=(int*)malloc(n*n*sizeof(int))', assigned value is 0
Rcsdp/src/Csdp/theta/complement.c:77:7: note: Null pointer dereference
Rcsdp/src/Csdp/theta/complement.c:84:11: warning: If resource allocation fails, then there is a possible null pointer dereference: fidout [nullPointerOutOfResources]
Rcsdp/src/Csdp/theta/complement.c:43:15: note: Assuming allocation function fails
Rcsdp/src/Csdp/theta/complement.c:43:15: note: Assignment 'fidout=fopen(*++argv,"w")', assigned value is 0
Rcsdp/src/Csdp/theta/complement.c:84:11: note: Null pointer dereference
Rcsdp/src/Csdp/theta/complement.c:85:11: warning: If resource allocation fails, then there is a possible null pointer dereference: fidout [nullPointerOutOfResources]
Rcsdp/src/Csdp/theta/complement.c:43:15: note: Assuming allocation function fails
Rcsdp/src/Csdp/theta/complement.c:43:15: note: Assignment 'fidout=fopen(*++argv,"w")', assigned value is 0
Rcsdp/src/Csdp/theta/complement.c:85:11: note: Null pointer dereference
Rcsdp/src/Csdp/theta/complement.c:17:12: style: Parameter 'argv' can be declared as const array [constParameter]
Rcsdp/src/Csdp/theta/graphtoprob.c:74:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockrec [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/theta/rand_graph.c:48:12: style: Condition 'argc>=4' is always true [knownConditionTrueFalse]
Rcsdp/src/Csdp/theta/rand_graph.c:43:12: note: Assuming that condition 'argc<=3' is not redundant
Rcsdp/src/Csdp/theta/rand_graph.c:48:12: note: Condition 'argc>=4' is always true
Rcsdp/src/Csdp/theta/rand_graph.c:28:12: style: Parameter 'argv' can be declared as const array [constParameter]
Rcsdp/src/Csdp/theta/theta.c:76:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockrec [valueFlowBailoutIncompleteVar]
Rcsdp/src/Rcsdp.c:96:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable REALSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/Rcsdp.c:121:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VECSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/Rcsdp.c:157:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VECSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/Rcsdp.c:199:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VECSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/Rcsdp.c:262:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/Rcsdp.c:296:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/Rcsdp.c:320:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blocks [valueFlowBailoutIncompleteVar]
Rcsdp/src/Rcsdp.c:352:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/theta/theta.c:27:12: style: Parameter 'argv' can be declared as const array [constParameter]
Rcsdp/src/Rcsdp.c:201:40: error: Dereferencing 'y' after it is deallocated / released [deallocuse]
Rcsdp/src/Rcsdp.c:206:3: error: Memory pointed to by 'y' is freed twice. [doubleFree]
Rcsdp/src/Rcsdp.c:194:5: note: Memory pointed to by 'y' is freed twice.
Rcsdp/src/Rcsdp.c:206:3: note: Memory pointed to by 'y' is freed twice.
Rcsdp/src/Rcsdp.c:37:34: style: Variable 'blocktypes' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Rcsdp.c:37:47: style: Variable 'blocksizes' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Rcsdp.c:47:11: style: Variable 'nblocks' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/Rcsdp.c:49:14: style: Variable 'blocktypes' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/Rcsdp.c:50:14: style: Variable 'blocksizes' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/Rcsdp.c:236:11: style: Variable 'nblocks' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/convert.c:12:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/convert.c:26:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable REALSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/convert.c:82:73: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable blockrec [valueFlowBailoutIncompleteVar]
Rcsdp/src/convert.c:125:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VECSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/convert.c:175:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VECSXP [valueFlowBailoutIncompleteVar]
Rcsdp/src/convert.c:242:87: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable constraintmatrix [valueFlowBailoutIncompleteVar]
Rcsdp/src/convert.c:250:5: warning: If memory allocation fails, then there is a possible null pointer dereference: constraints [nullPointerOutOfMemory]
Rcsdp/src/convert.c:242:51: note: Assuming allocation function fails
Rcsdp/src/convert.c:242:17: note: Assignment 'constraints=(struct constraintmatrix*)malloc((nconstraints+1)*sizeof(struct constraintmatrix))', assigned value is 0
Rcsdp/src/convert.c:250:5: note: Null pointer dereference
Rcsdp/src/convert.c:265:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:265:7: note: Null pointer dereference
Rcsdp/src/convert.c:266:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:266:7: note: Null pointer dereference
Rcsdp/src/convert.c:267:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:267:7: note: Null pointer dereference
Rcsdp/src/convert.c:268:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:268:7: note: Null pointer dereference
Rcsdp/src/convert.c:269:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:269:7: note: Null pointer dereference
Rcsdp/src/convert.c:270:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:270:7: note: Null pointer dereference
Rcsdp/src/convert.c:275:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:275:7: note: Null pointer dereference
Rcsdp/src/convert.c:275:46: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:275:46: note: Null pointer dereference
Rcsdp/src/convert.c:276:11: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:276:11: note: Null pointer dereference
Rcsdp/src/convert.c:278:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:278:7: note: Null pointer dereference
Rcsdp/src/convert.c:278:46: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:278:46: note: Null pointer dereference
Rcsdp/src/convert.c:279:11: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:279:11: note: Null pointer dereference
Rcsdp/src/convert.c:281:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:281:7: note: Null pointer dereference
Rcsdp/src/convert.c:281:48: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:281:48: note: Null pointer dereference
Rcsdp/src/convert.c:282:11: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:282:11: note: Null pointer dereference
Rcsdp/src/convert.c:287:7: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
Rcsdp/src/convert.c:287:7: note: Null pointer dereference
Rcsdp/src/convert.c:6:15: style: Parameter 'y' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/convert.c:20:14: style: Parameter 'y' can be declared as pointer to const [constParameterPointer]
Rcsdp/src/convert.c:37:8: style: Variable 'intvec' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/convert.c:54:11: style: Variable 'dblvec' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/convert.c:73:11: style: Variable 'dblvec' can be declared as pointer to const [constVariablePointer]
Rcsdp/src/Csdp/lib/sdp.c:407:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
Rcsdp/src/Csdp/lib/sdp.c:1077:5: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
Rcsdp/src/Csdp/lib/sdp.c:1081:5: note: Found duplicate branches for 'if' and 'else'.
Rcsdp/src/Csdp/lib/sdp.c:1077:5: note: Found duplicate branches for 'if' and 'else'.
Rcsdp/src/Csdp/lib/sdp.c:1086:5: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
Rcsdp/src/Csdp/lib/sdp.c:1090:5: note: Found duplicate branches for 'if' and 'else'.
Rcsdp/src/Csdp/lib/sdp.c:1086:5: note: Found duplicate branches for 'if' and 'else'.
Rcsdp/src/Csdp/lib/sdp.c:1422:9: style: Variable 'info' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/sdp.c:950:10: note: info is assigned
Rcsdp/src/Csdp/lib/sdp.c:1422:9: note: info is overwritten
Rcsdp/src/Csdp/lib/sdp.c:1992:12: style: Variable 'newpobj' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/sdp.c:1887:12: note: newpobj is assigned
Rcsdp/src/Csdp/lib/sdp.c:1992:12: note: newpobj is overwritten
Rcsdp/src/Csdp/lib/sdp.c:1991:12: style: Variable 'newdobj' is reassigned a value before the old one has been used. [redundantAssignment]
Rcsdp/src/Csdp/lib/sdp.c:1893:12: note: newdobj is assigned
Rcsdp/src/Csdp/lib/sdp.c:1991:12: note: newdobj is overwritten
Rcsdp/src/Csdp/lib/sdp.c:2231:14: style: Variable 'probpfeas' is assigned a value that is never used. [unreadVariable]
Rcsdp/src/Csdp/lib/sdp.c:2234:14: style: Variable 'probdfeas' is assigned a value that is never used. [unreadVariable]
diff:
head Rcsdp/src/Csdp/lib/makefill.c:188:35: warning: Either the condition 'ptr==NULL' is redundant or there is possible null pointer dereference: ptr. [nullPointerRedundantCheck]
     Rcsdp/src/Csdp/lib/makefill.c:189:12: note: Assuming that condition 'ptr==NULL' is not redundant
     Rcsdp/src/Csdp/lib/makefill.c:188:35: note: Null pointer dereference
head Rcsdp/src/convert.c:275:46: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
     Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
     Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
     Rcsdp/src/convert.c:275:46: note: Null pointer dereference
head Rcsdp/src/convert.c:278:46: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
     Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
     Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
     Rcsdp/src/convert.c:278:46: note: Null pointer dereference
head Rcsdp/src/convert.c:281:48: warning: If memory allocation fails, then there is a possible null pointer dereference: blockptr [nullPointerOutOfMemory]
     Rcsdp/src/convert.c:259:47: note: Assuming allocation function fails
     Rcsdp/src/convert.c:259:18: note: Assignment 'blockptr=(struct sparseblock*)malloc(sizeof(struct sparseblock))', assigned value is 0
     Rcsdp/src/convert.c:281:48: note: Null pointer dereference


DONE