2026-05-03 13:23
ftp://ftp.de.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=zlib  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-1047-aws-aarch64-with-glibc2.35
python: 3.10.12
client-version: 1.4.0
compiler: g++ (Ubuntu 11.4.0-1ubuntu1~22.04.3) 11.4.0
cppcheck: head 2.20.0
head-info: e5c4a73 (2026-05-01 11:10:43 +0200)
count: 61 61
elapsed-time: 0.3 0.2
head-timing-info:

old-timing-info:

head results:
minisat2-2.2.1/minisat/core/Main.cc:104:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RLIMIT_CPU [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Main.cc:37:25: style: Parameter 'solver' can be declared as reference to const [constParameterReference]
minisat2-2.2.1/minisat/core/Solver.cc:119:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable l_Undef [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:136:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ok [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:164:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:173:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:190:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:201:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable l_True [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:210:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable trail_lim [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:228:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable var_Undef [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:276:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_Undef [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:375:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CRef_Undef [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:416:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable seen [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:440:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable l_Undef [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:460:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CRef_Undef [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:537:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cla_inc [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:558:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:572:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable decision [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:590:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ok [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:625:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ok [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:723:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable trail_lim [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:764:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ok [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:824:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable l_False [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:834:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:843:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ok [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:895:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watches [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:928:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable verbosity [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/core/Solver.cc:530:5: style: Struct 'reduceDB_lt' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
minisat2-2.2.1/minisat/core/Solver.cc:470:22: style: C-style pointer casting [cstyleCast]
minisat2-2.2.1/minisat/core/Solver.cc:358:13: style: Local variable 'p' shadows outer variable [shadowVariable]
minisat2-2.2.1/minisat/core/Solver.cc:276:9: note: Shadowed declaration
minisat2-2.2.1/minisat/core/Solver.cc:358:13: note: Shadow variable
minisat2-2.2.1/minisat/core/Solver.cc:354:18: style: Local variable 'i' shadows outer variable [shadowVariable]
minisat2-2.2.1/minisat/core/Solver.cc:315:9: note: Shadowed declaration
minisat2-2.2.1/minisat/core/Solver.cc:354:18: note: Shadow variable
minisat2-2.2.1/minisat/core/Solver.cc:364:14: style: Local variable 'j' shadows outer variable [shadowVariable]
minisat2-2.2.1/minisat/core/Solver.cc:315:12: note: Shadowed declaration
minisat2-2.2.1/minisat/core/Solver.cc:364:14: note: Shadow variable
minisat2-2.2.1/minisat/simp/Main.cc:108:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RLIMIT_CPU [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/Main.cc:174:24: style: C-style pointer casting [cstyleCast]
minisat2-2.2.1/minisat/simp/Main.cc:38:25: style: Parameter 'solver' can be declared as reference to const [constParameterReference]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:64:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_Undef [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:82:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable use_simplification [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:96:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable l_True [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:144:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable use_rcheck [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:177:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:192:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:219:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable merges [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:250:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable merges [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:279:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable n_touched [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:311:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable l_True [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:333:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bwdsub_assigns [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:395:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:422:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable use_simplification [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:472:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable frozen [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:533:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable frozen [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:569:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable elimclauses [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:584:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable use_simplification [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:670:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:682:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable use_simplification [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:710:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable extra_clause_field [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:255:25: style: C-style pointer casting [cstyleCast]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:256:25: style: C-style pointer casting [cstyleCast]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:366:26: style: C-style pointer casting [cstyleCast]
minisat2-2.2.1/minisat/simp/SimpSolver.cc:282:16: style: Variable 'j' is assigned a value that is never used. [unreadVariable]
minisat2-2.2.1/minisat/utils/Options.cc:47:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
minisat2-2.2.1/minisat/utils/Options.cc:63:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
diff:


DONE