2024-04-21 17:19
ftp://ftp.de.debian.org/debian/pool/main/r/r-cran-boolnet/r-cran-boolnet_2.1.9.orig.tar.gz
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 -D__GNUC__ --platform=unix64 -j4
platform: Linux-6.1.0-20-amd64-x86_64-with-glibc2.36
python: 3.11.2
client-version: 1.3.56
compiler: g++ (Debian 12.2.0-14) 12.2.0
cppcheck: head 2.14.0
head-info: ea2e716 (2024-04-21 15:59:20 +0200)
count: 248 248
elapsed-time: 7.4 7.4
head-timing-info:

old-timing-info:

head results:
BoolNet/src/init.c:45:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar]
BoolNet/src/common.h:101:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
BoolNet/src/common.h:116:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
BoolNet/src/attractor_search_interface.c:93:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R_NilValue [valueFlowBailoutIncompleteVar]
BoolNet/src/common.c:20:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
BoolNet/src/common.c:138:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R_NamesSymbol [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:1624:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:1665:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable score [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:1877:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:2392:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:2984:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:3929:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:4531:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:4710:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:5194:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:6418:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable failed [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:7396:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable failed [valueFlowBailoutIncompleteVar]
BoolNet/src/picosat.c:8150:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar]
BoolNet/src/common.h:83:3: warning: Either the condition '!_he_new_buckets' is redundant or there is possible null pointer dereference: _he_new_buckets. [nullPointerRedundantCheck]
BoolNet/src/common.h:83:3: note: Assuming that condition '!_he_new_buckets' is not redundant
BoolNet/src/common.h:83:3: note: Null pointer dereference
BoolNet/src/common.h:103:5: warning: Either the condition '!_he_new_buckets' is redundant or there is possible null pointer dereference: _he_new_buckets. [nullPointerRedundantCheck]
BoolNet/src/common.h:103:5: note: Assuming that condition '!_he_new_buckets' is not redundant
BoolNet/src/common.h:103:5: note: Null pointer dereference
BoolNet/src/common.h:127:62: style: Parameter 'fixed' can be declared as pointer to const [constParameterPointer]
BoolNet/src/common.c:33:30: style: Parameter 'bin' can be declared as pointer to const [constParameterPointer]
BoolNet/src/common.c:33:40: style: Parameter 'numBits' can be declared as pointer to const [constParameterPointer]
BoolNet/src/common.c:60:40: style: Parameter 'numBits' can be declared as pointer to const [constParameterPointer]
BoolNet/src/common.c:63:17: style: Variable 'unsigned_dec' can be declared as pointer to const [constVariablePointer]
BoolNet/src/common.c:81:50: style: Parameter 'fixedGenes' can be declared as pointer to const [constParameterPointer]
BoolNet/src/common.c:115:50: style: Parameter 'fixedGenes' can be declared as pointer to const [constParameterPointer]
BoolNet/src/common.c:136:38: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
BoolNet/src/attractor_search_interface.c:113:22: style: Local variable 'i' shadows outer variable [shadowVariable]
BoolNet/src/attractor_search_interface.c:72:32: note: Shadowed declaration
BoolNet/src/attractor_search_interface.c:113:22: note: Shadow variable
BoolNet/src/reconstruct_network.c:1045:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
BoolNet/src/probabilistic_boolean_network.c:240:77: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable functionIndex [valueFlowBailoutIncompleteVar]
BoolNet/src/probabilistic_boolean_network.c:313:81: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable probability [valueFlowBailoutIncompleteVar]
BoolNet/src/probabilistic_boolean_network.c:558:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
BoolNet/src/sat_search.c:277:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
BoolNet/src/sat_search.c:51:25: style: Parameter 'external_state' can be declared as pointer to const. However it seems that 'SATInterrupt' is a callback function, if 'external_state' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
BoolNet/src/sat_search.c:109:36: note: You might need to cast the function pointer here
BoolNet/src/sat_search.c:51:25: note: Parameter 'external_state' can be declared as pointer to const
BoolNet/src/sat_search.c:64:23: style: Parameter 'mem' can be declared as pointer to const. However it seems that 'SATAlloc' is a callback function, if 'mem' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
BoolNet/src/sat_search.c:108:38: note: You might need to cast the function pointer here
BoolNet/src/sat_search.c:64:23: note: Parameter 'mem' can be declared as pointer to const
BoolNet/src/sat_search.c:147:17: style: Variable 'atom' can be declared as pointer to const [constVariablePointer]
BoolNet/src/reconstruct_network.c:486:22: style: Local variable 'f' shadows outer variable [shadowVariable]
BoolNet/src/reconstruct_network.c:456:18: note: Shadowed declaration
BoolNet/src/reconstruct_network.c:486:22: note: Shadow variable
BoolNet/src/reconstruct_network.c:515:21: style: Local variable 'f' shadows outer variable [shadowVariable]
BoolNet/src/reconstruct_network.c:456:18: note: Shadowed declaration
BoolNet/src/reconstruct_network.c:515:21: note: Shadow variable
BoolNet/src/reconstruct_network.c:87:19: style: Parameter 'inputGenes' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:88:28: style: Parameter 'transitionFunction' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:132:28: style: Parameter 'transitionFunction' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:215:56: style: Parameter 'requiredDependencies' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:216:56: style: Parameter 'excludedDependencies' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:597:30: style: Parameter 'inputStates' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:598:30: style: Parameter 'outputStates' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:599:30: style: Parameter 'perturbations' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:602:40: style: Parameter 'chosenIndices' can be declared as pointer to const [constParameterPointer]
BoolNet/src/reconstruct_network.c:931:8: style: Variable '_inputStates' can be declared as pointer to const [constVariablePointer]
BoolNet/src/reconstruct_network.c:932:8: style: Variable '_outputStates' can be declared as pointer to const [constVariablePointer]
BoolNet/src/symbolic_network.c:145:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_network.c:335:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_network.c:593:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R_NilValue [valueFlowBailoutIncompleteVar]
BoolNet/src/probabilistic_boolean_network.c:215:3: warning: Either the condition '!_he_new_buckets' is redundant or there is possible null pointer dereference: _he_new_buckets. [nullPointerRedundantCheck]
BoolNet/src/probabilistic_boolean_network.c:215:3: note: Assuming that condition '!_he_new_buckets' is not redundant
BoolNet/src/probabilistic_boolean_network.c:215:3: note: Null pointer dereference
BoolNet/src/probabilistic_boolean_network.c:174:59: style: Parameter 'maxVals' can be declared as pointer to const [constParameterPointer]
BoolNet/src/probabilistic_boolean_network.c:230:56: style: Parameter 'table' can be declared as pointer to const [constParameterPointer]
BoolNet/src/probabilistic_boolean_network.c:231:50: style: Parameter 'combination' can be declared as pointer to const [constParameterPointer]
BoolNet/src/probabilistic_boolean_network.c:283:24: style: Parameter 'startStates' can be declared as pointer to const [constParameterPointer]
BoolNet/src/probabilistic_boolean_network.c:360:18: style: Variable 'entry' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:407:8: style: Variable '_inputGenes' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:409:8: style: Variable '_inputGenePositions' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:411:8: style: Variable '_transitionFunctions' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:413:8: style: Variable '_transitionFunctionPositions' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:415:8: style: Variable '_functionAssignment' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:417:11: style: Variable '_probabilities' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:421:8: style: Variable '_startStates' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:597:18: style: Variable 'entry' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:618:18: style: Variable 'entry' can be declared as pointer to const [constVariablePointer]
BoolNet/src/probabilistic_boolean_network.c:313:49: warning: Uninitialized variable: geneIndices [uninitvar]
BoolNet/src/probabilistic_boolean_network.c:300:16: note: Assuming condition is false
BoolNet/src/probabilistic_boolean_network.c:313:49: note: Uninitialized variable: geneIndices
BoolNet/src/symbolic_simulator.c:153:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_simulator.c:165:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_simulator.c:579:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_simulator.c:646:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_simulator.c:741:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R_NilValue [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_simulator.c:870:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_simulator.c:1139:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTSXP [valueFlowBailoutIncompleteVar]
BoolNet/src/symbolic_simulator.c:1387:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LGLSXP [valueFlowBailoutIncompleteVar]
BoolNet/src/statespace_search.c:1048:27: style:inconclusive: Boolean expression 'newNodes' is used in bitwise operation. Did you mean '||'? [bitwiseOnBoolean]
BoolNet/src/statespace_search.c:1067:25: style:inconclusive: Boolean expression 'newNodes' is used in bitwise operation. Did you mean '||'? [bitwiseOnBoolean]
BoolNet/src/statespace_search.c:1048:27: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
BoolNet/src/statespace_search.c:1067:25: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
BoolNet/src/symbolic_network.c:415:5: error: Common realloc mistake: 'operands' nulled but not freed upon failure [memleakOnRealloc]
BoolNet/src/symbolic_network.c:456:6: error: Common realloc mistake: 'operands' nulled but not freed upon failure [memleakOnRealloc]
BoolNet/src/symbolic_network.c:467:5: error: Common realloc mistake: 'operands' nulled but not freed upon failure [memleakOnRealloc]
BoolNet/src/symbolic_network.c:483:5: error: Common realloc mistake: 'operands' nulled but not freed upon failure [memleakOnRealloc]
BoolNet/src/symbolic_network.c:530:4: error: Common realloc mistake: 'transformedOperands' nulled but not freed upon failure [memleakOnRealloc]
BoolNet/src/symbolic_network.c:584:18: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: _network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_network.c:580:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_network.c:584:18: note: Null pointer dereference
BoolNet/src/statespace_search.c:806:18: style: Local variable 'i' shadows outer variable [shadowVariable]
BoolNet/src/statespace_search.c:688:22: note: Shadowed declaration
BoolNet/src/statespace_search.c:806:18: note: Shadow variable
BoolNet/src/statespace_search.c:99:29: style: Parameter 'initialState' can be declared as pointer to const [constParameterPointer]
BoolNet/src/statespace_search.c:100:29: style: Parameter 'nextState' can be declared as pointer to const [constParameterPointer]
BoolNet/src/statespace_search.c:183:25: style: Parameter 'data' can be declared as pointer to const [constParameterPointer]
BoolNet/src/statespace_search.c:374:37: style: Parameter 'currentState' can be declared as pointer to const [constParameterPointer]
BoolNet/src/statespace_search.c:850:29: style: Parameter 'state' can be declared as pointer to const [constParameterPointer]
BoolNet/src/statespace_search.c:934:86: style: Parameter 'probabilities' can be declared as pointer to const [constParameterPointer]
BoolNet/src/statespace_search.c:1199:50: style: Parameter 'selectedStates' can be declared as pointer to const [constParameterPointer]
BoolNet/src/statespace_search.c:1201:40: style: Parameter 'probabilities' can be declared as pointer to const [constParameterPointer]
BoolNet/src/symbolic_network.c:79:13: style: Variable 'constant' can be declared as pointer to const [constVariablePointer]
BoolNet/src/symbolic_network.c:91:16: style: Variable 'atom' can be declared as pointer to const [constVariablePointer]
BoolNet/src/statespace_search.c:65:17: style: struct member 'Anonymous2::unused' is never used. [unusedStructMember]
BoolNet/src/statespace_search.c:376:24: style: Variable 'k' is assigned a value that is never used. [unreadVariable]
BoolNet/src/statespace_search.c:450:24: style: Variable 'k' is assigned a value that is never used. [unreadVariable]
BoolNet/src/statespace_search.c:884:17: style: Variable 'k' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:1948:23: warning: Comparison is wrong. Result of 'ps->lits+2*(v-ps->vars)' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
BoolNet/src/picosat.c:4778:26: style: Condition 'collect_clause(ps,c)' is always true [knownConditionTrueFalse]
BoolNet/src/picosat.c:4778:26: note: Calling function 'collect_clause' returns 1
BoolNet/src/picosat.c:4778:26: note: Condition 'collect_clause(ps,c)' is always true
BoolNet/src/picosat.c:5624:19: style: Condition 'ps->lreduce<100' is always false [knownConditionTrueFalse]
BoolNet/src/picosat.c:5622:17: note: Assignment 'ps->lreduce=1000', assigned value is 1000
BoolNet/src/picosat.c:5624:19: note: Condition 'ps->lreduce<100' is always false
BoolNet/src/picosat.c:1045:5: error: Common realloc mistake: 'b' nulled but not freed upon failure [memleakOnRealloc]
BoolNet/src/picosat.c:1011:11: warning: Possible null pointer dereference: b [nullPointer]
BoolNet/src/picosat.c:1006:7: note: Assignment 'b=(void_ptr)?(struct Blk*)(((char*)(void_ptr))-(sizeof(struct Blk)-8)):0', assigned value is 0
BoolNet/src/picosat.c:1011:11: note: Null pointer dereference
BoolNet/src/picosat.c:6622:23: style:inconclusive: Function 'picosat_minit' argument 1 names different: declaration 'state' definition 'pmgr'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:77:33: note: Function 'picosat_minit' argument 1 names different: declaration 'state' definition 'pmgr'.
BoolNet/src/picosat.c:6622:23: note: Function 'picosat_minit' argument 1 names different: declaration 'state' definition 'pmgr'.
BoolNet/src/picosat.c:6635:30: style:inconclusive: Function 'picosat_adjust' argument 2 names different: declaration 'max_idx' definition 'new_max_var'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:284:37: note: Function 'picosat_adjust' argument 2 names different: declaration 'max_idx' definition 'new_max_var'.
BoolNet/src/picosat.c:6635:30: note: Function 'picosat_adjust' argument 2 names different: declaration 'max_idx' definition 'new_max_var'.
BoolNet/src/picosat.c:6798:51: style:inconclusive: Function 'picosat_set_incremental_rup_file' argument 2 names different: declaration 'file' definition 'rup_file'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:208:58: note: Function 'picosat_set_incremental_rup_file' argument 2 names different: declaration 'file' definition 'rup_file'.
BoolNet/src/picosat.c:6798:51: note: Function 'picosat_set_incremental_rup_file' argument 2 names different: declaration 'file' definition 'rup_file'.
BoolNet/src/picosat.c:6829:37: style:inconclusive: Function 'picosat_set_seed' argument 2 names different: declaration 'random_number_generator_seed' definition 's'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:185:44: note: Function 'picosat_set_seed' argument 2 names different: declaration 'random_number_generator_seed' definition 's'.
BoolNet/src/picosat.c:6829:37: note: Function 'picosat_set_seed' argument 2 names different: declaration 'random_number_generator_seed' definition 's'.
BoolNet/src/picosat.c:6843:27: style:inconclusive: Function 'picosat_add' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:310:33: note: Function 'picosat_add' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:6843:27: note: Function 'picosat_add' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7102:30: style:inconclusive: Function 'picosat_assume' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:410:37: note: Function 'picosat_assume' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7102:30: note: Function 'picosat_assume' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7123:27: style:inconclusive: Function 'picosat_sat' argument 2 names different: declaration 'decision_limit' definition 'l'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:427:33: note: Function 'picosat_sat' argument 2 names different: declaration 'decision_limit' definition 'l'.
BoolNet/src/picosat.c:7123:27: note: Function 'picosat_sat' argument 2 names different: declaration 'decision_limit' definition 'l'.
BoolNet/src/picosat.c:7189:29: style:inconclusive: Function 'picosat_deref' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:444:35: note: Function 'picosat_deref' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7189:29: note: Function 'picosat_deref' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7217:38: style:inconclusive: Function 'picosat_deref_toplevel' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:451:44: note: Function 'picosat_deref_toplevel' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7217:38: note: Function 'picosat_deref_toplevel' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7239:31: style:inconclusive: Function 'picosat_corelit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:630:37: note: Function 'picosat_corelit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7239:31: note: Function 'picosat_corelit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7268:34: style:inconclusive: Function 'picosat_coreclause' argument 2 names different: declaration 'i' definition 'ocls'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:625:40: note: Function 'picosat_coreclause' argument 2 names different: declaration 'i' definition 'ocls'.
BoolNet/src/picosat.c:7268:34: note: Function 'picosat_coreclause' argument 2 names different: declaration 'i' definition 'ocls'.
BoolNet/src/picosat.c:7304:41: style:inconclusive: Function 'picosat_failed_assumption' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:475:47: note: Function 'picosat_failed_assumption' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7304:41: note: Function 'picosat_failed_assumption' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7324:38: style:inconclusive: Function 'picosat_failed_context' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:254:44: note: Function 'picosat_failed_context' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7324:38: note: Function 'picosat_failed_context' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7906:31: style:inconclusive: Function 'picosat_usedlit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:655:37: note: Function 'picosat_usedlit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7906:31: note: Function 'picosat_usedlit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:7918:45: style:inconclusive: Function 'picosat_write_clausal_core' argument 2 names different: declaration 'core_file' definition 'file'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:635:52: note: Function 'picosat_write_clausal_core' argument 2 names different: declaration 'core_file' definition 'file'.
BoolNet/src/picosat.c:7918:45: note: Function 'picosat_write_clausal_core' argument 2 names different: declaration 'core_file' definition 'file'.
BoolNet/src/picosat.c:7924:46: style:inconclusive: Function 'picosat_write_compact_trace' argument 2 names different: declaration 'trace_file' definition 'file'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:639:53: note: Function 'picosat_write_compact_trace' argument 2 names different: declaration 'trace_file' definition 'file'.
BoolNet/src/picosat.c:7924:46: note: Function 'picosat_write_compact_trace' argument 2 names different: declaration 'trace_file' definition 'file'.
BoolNet/src/picosat.c:7931:47: style:inconclusive: Function 'picosat_write_extended_trace' argument 2 names different: declaration 'trace_file' definition 'file'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:640:54: note: Function 'picosat_write_extended_trace' argument 2 names different: declaration 'trace_file' definition 'file'.
BoolNet/src/picosat.c:7931:47: note: Function 'picosat_write_extended_trace' argument 2 names different: declaration 'trace_file' definition 'file'.
BoolNet/src/picosat.c:7938:42: style:inconclusive: Function 'picosat_write_rup_trace' argument 2 names different: declaration 'trace_file' definition 'file'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:646:49: note: Function 'picosat_write_rup_trace' argument 2 names different: declaration 'trace_file' definition 'file'.
BoolNet/src/picosat.c:7938:42: note: Function 'picosat_write_rup_trace' argument 2 names different: declaration 'trace_file' definition 'file'.
BoolNet/src/picosat.c:7951:60: style:inconclusive: Function 'picosat_set_propagation_limit' argument 2 names different: declaration 'limit' definition 'l'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:433:67: note: Function 'picosat_set_propagation_limit' argument 2 names different: declaration 'limit' definition 'l'.
BoolNet/src/picosat.c:7951:60: note: Function 'picosat_set_propagation_limit' argument 2 names different: declaration 'limit' definition 'l'.
BoolNet/src/picosat.c:8268:31: style:inconclusive: Function 'picosat_message' argument 2 names different: declaration 'verbosity_level' definition 'vlevel'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:177:38: note: Function 'picosat_message' argument 2 names different: declaration 'verbosity_level' definition 'vlevel'.
BoolNet/src/picosat.c:8268:31: note: Function 'picosat_message' argument 2 names different: declaration 'verbosity_level' definition 'vlevel'.
BoolNet/src/picosat.c:8335:45: style:inconclusive: Function 'picosat_set_default_phase_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:147:52: note: Function 'picosat_set_default_phase_lit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:8335:45: note: Function 'picosat_set_default_phase_lit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:8359:46: style:inconclusive: Function 'picosat_set_more_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:172:53: note: Function 'picosat_set_more_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:8359:46: note: Function 'picosat_set_more_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:8383:46: style:inconclusive: Function 'picosat_set_less_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:173:53: note: Function 'picosat_set_less_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:8383:46: note: Function 'picosat_set_less_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:8476:37: style:inconclusive: Function 'picosat_deref_partial' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent]
BoolNet/src/picosat.h:460:43: note: Function 'picosat_deref_partial' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:8476:37: note: Function 'picosat_deref_partial' argument 2 names different: declaration 'lit' definition 'int_lit'.
BoolNet/src/picosat.c:1072:15: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:1086:16: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:1642:17: style: Parameter 'ps' can be declared as pointer to const. However it seems that 'cmp_added' is a callback function, if 'ps' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
BoolNet/src/picosat.c:1692:5: note: You might need to cast the function pointer here
BoolNet/src/picosat.c:1642:17: note: Parameter 'ps' can be declared as pointer to const
BoolNet/src/picosat.c:1642:27: style: Parameter 'k' can be declared as pointer to const. However it seems that 'cmp_added' is a callback function, if 'k' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
BoolNet/src/picosat.c:1692:5: note: You might need to cast the function pointer here
BoolNet/src/picosat.c:1642:27: note: Parameter 'k' can be declared as pointer to const
BoolNet/src/picosat.c:1642:36: style: Parameter 'l' can be declared as pointer to const. However it seems that 'cmp_added' is a callback function, if 'l' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
BoolNet/src/picosat.c:1692:5: note: You might need to cast the function pointer here
BoolNet/src/picosat.c:1642:36: note: Parameter 'l' can be declared as pointer to const
BoolNet/src/picosat.c:1645:8: style: Variable 'u' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:1645:12: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:1869:29: style: Parameter 'lit' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:1871:9: style: Variable 'other' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:1892:20: style: Variable 'other' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:2039:23: style: Parameter 'lit' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:2233:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:2271:8: style: Variable 'line' can be declared as const array [constVariable]
BoolNet/src/picosat.c:2555:10: style: Variable 'other' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:2590:18: style: Variable 'prev' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:2591:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:2626:9: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:2819:21: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:2879:21: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:2912:8: style: Variable 'old_lits' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:2913:8: style: Variable 'old_rnks' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:3000:8: style: Variable 'other' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:3040:17: style: Variable 'other' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:3069:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:3114:20: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:3149:8: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:3171:10: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:3199:46: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:3345:32: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:3408:26: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:3439:12: style: Variable 'eor' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:3482:20: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:3986:35: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:3986:45: style: Parameter 'lit' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:3989:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:4361:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:4649:36: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:4651:8: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:4652:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:4693:16: style: Variable 'eol' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:4714:12: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:4749:10: style: Variable 'other' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:4973:30: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:4973:40: style: Parameter 'lit' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:4976:8: style: Variable 'lstk' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:5003:15: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:5003:25: style: Parameter 'r' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:5006:17: style: Variable 'nlit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:5481:15: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:5481:20: style: Variable 'q' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:5665:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:5801:8: style: Variable 'r' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:6360:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:6428:19: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:6434:23: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:6440:25: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:6446:43: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:6467:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:6728:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:6978:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:6979:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7001:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7002:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7183:19: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:7191:8: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7306:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7307:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7326:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7327:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7343:15: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7344:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7379:15: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7381:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:7957:28: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:7963:22: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:7969:25: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:8170:15: style: Variable 'other' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:8170:24: style: Variable 'last' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:8268:23: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer]
BoolNet/src/picosat.c:8361:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:8362:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:8385:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:8386:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
BoolNet/src/picosat.c:2277:26: error: Uninitialized variable: line [uninitvar]
BoolNet/src/picosat.c:500:11: style: union member 'Anonymous0::as_two_ptrs' is never used. [unusedStructMember]
BoolNet/src/picosat.c:592:27: style: struct member 'PicoSAT::bhead' is never used. [unusedStructMember]
BoolNet/src/picosat.c:1102:13: style: Variable 'first' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:3283:11: style: Variable 'fmt' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:3290:30: style: Variable 'tmp' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:3309:36: style: Variable 'tmp' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:3313:28: style: Variable 'tmp' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:3776:10: style: Variable 'start' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:7377:24: style: Variable 'norig' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:8056:11: style: Variable 'redlits' is assigned a value that is never used. [unreadVariable]
BoolNet/src/picosat.c:8238:13: style: Variable 'other' is assigned a value that is never used. [unreadVariable]
BoolNet/src/symbolic_simulator.c:181:41: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:561:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:571:14: note: Calling function 'decodeState', 1st argument '_network' value is 0
BoolNet/src/symbolic_simulator.c:181:41: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:186:8: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:561:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:571:14: note: Calling function 'decodeState', 1st argument '_network' value is 0
BoolNet/src/symbolic_simulator.c:186:8: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:188:18: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:561:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:571:14: note: Calling function 'decodeState', 1st argument '_network' value is 0
BoolNet/src/symbolic_simulator.c:188:18: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:278:3: warning: Either the condition '!_he_new_buckets' is redundant or there is possible null pointer dereference: _he_new_buckets. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:278:3: note: Assuming that condition '!_he_new_buckets' is not redundant
BoolNet/src/symbolic_simulator.c:278:3: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:282:3: warning: Either the condition '!_he_new_buckets' is redundant or there is possible null pointer dereference: _he_new_buckets. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:282:3: note: Assuming that condition '!_he_new_buckets' is not redundant
BoolNet/src/symbolic_simulator.c:282:3: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:316:2: warning: Either the condition '!_he_new_buckets' is redundant or there is possible null pointer dereference: _he_new_buckets. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:316:2: note: Assuming that condition '!_he_new_buckets' is not redundant
BoolNet/src/symbolic_simulator.c:316:2: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:413:18: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:561:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:575:26: note: Calling function 'symbolicStateTransition', 1st argument '_network' value is 0
BoolNet/src/symbolic_simulator.c:413:18: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:567:8: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: _network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:561:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:567:8: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:570:8: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: _network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:561:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:570:8: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:579:39: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: _network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:561:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:579:39: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:583:18: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: _network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:561:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:583:18: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:815:6: warning: Either the condition '_network==NULL' is redundant or there is possible null pointer dereference: _network. [nullPointerRedundantCheck]
BoolNet/src/symbolic_simulator.c:810:15: note: Assuming that condition '_network==NULL' is not redundant
BoolNet/src/symbolic_simulator.c:815:6: note: Null pointer dereference
BoolNet/src/symbolic_simulator.c:923:15: style: Redundant initialization for '_numStates'. The initialized value is overwritten before it is read. [redundantInitialization]
BoolNet/src/symbolic_simulator.c:913:32: note: _numStates is initialized
BoolNet/src/symbolic_simulator.c:923:15: note: _numStates is overwritten
BoolNet/src/symbolic_simulator.c:1232:12: style: Local variable 'state' shadows outer variable [shadowVariable]
BoolNet/src/symbolic_simulator.c:1205:9: note: Shadowed declaration
BoolNet/src/symbolic_simulator.c:1232:12: note: Shadow variable
BoolNet/src/symbolic_simulator.c:178:72: style: Parameter 'state' can be declared as pointer to const [constParameterPointer]
BoolNet/src/symbolic_simulator.c:290:19: style: Parameter 'state' can be declared as pointer to const [constParameterPointer]
BoolNet/src/symbolic_simulator.c:538:15: style: Variable 'constant' can be declared as pointer to const [constVariablePointer]
BoolNet/src/symbolic_simulator.c:1093:43: style: Variable 'entry' can be declared as pointer to const [constVariablePointer]
BoolNet/src/symbolic_simulator.c:1233:13: style: Variable '_state' can be declared as pointer to const [constVariablePointer]
BoolNet/src/symbolic_simulator.c:1384:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
BoolNet/src/symbolic_simulator.c:947:14: style: int result is assigned to long long variable. If the variable is long long to avoid loss of information, then you have loss of information. [truncLongCastAssignment]
BoolNet/src/symbolic_simulator.c:1263:16: style: Variable 'nextState' is assigned a value that is never used. [unreadVariable]
diff:


DONE