Branches

• svcomp26-data-race-wrong-violations protected

  e99618da · Whenever a function return edge assings something, it should also be · Nov 05, 2025
  !391
• correct_test_program_issues_in_4_programs protected

  69841ed9 · struct-array-member-offsets.c: remove accidentally pushed debug import · Nov 05, 2025
  !380
• fix-issue-1427 protected

  026aac07 · fix javadoc · Nov 05, 2025
  !362
• 1446-regression-no-overflow protected

  889ac687 · Fix regression caused by merging edges with sink nodes as targets · Nov 05, 2025
  !397
• smg2_merge protected

  bc5388a6 · SMG2: do not try to resolve offsets for CEX and concrete variable assignment... · Nov 05, 2025
  !381
• 1244-add-support-for-edge-specific-bdds-for-pjbdd protected

  b30878e4 · Merge branch 'main' into 1244-add-support-for-edge-specific-bdds-for-pjbdd · Nov 05, 2025
  !231
• smg2_allow_symbolic_sizes_in_zeoring_memory_allocation_and_writes protected

  cf065478 · SMG2: correct and comment out handling for... · Nov 04, 2025
  !392
• adjust-amount-of-cores-integration-tests protected

  28b4a73b · Increase the amount of cores for our integration test to 2 · Nov 04, 2025
  !393
• 1434-refactor-exported-statements protected

  3cef67b2 · add for/while loop class documentation (cf.... · Nov 04, 2025
• 1444-handle-preprocess-in-witness-validation protected

  ea64102b · Consistently use getStartingLineInOrigin instead of getStartingLineNumber in the CfaAstRelation · Nov 03, 2025
  !389
• non_termination_witness_v2_validation protected

  8064625c · Fixing a bug introduced due to refactoring · Oct 31, 2025
  !281
• svcomp26-improve-overflow-value-analysis-config protected

  36d5f6ec · Improve the config for checking overflows with value analysis in a · Oct 30, 2025
  !385
• remove-duplicate-state-with-assumptions-handling protected

  9ff5fbac · Remove duplication in handling of Abstract states with assumptions · Oct 28, 2025
  !383
• removing-cfa-modification-from-lasso-analysis protected

  7149f3db · Replacing accidental reachedSet placement · Oct 28, 2025
  !353
• 1403-make-smg2-option-handleunknownfunctions-also-stop-overapproximation-in-partially-handled protected

  1af5fff4 · SMG2 builtins: switch from UnsupportedOperationExceptions to SMGException for... · Oct 27, 2025
  !376
• smg2_consider_input_function_buffer_overflows protected

  d24bfe5e · Allow usage of internal C function __CPACHECKER_atexit_next() again in SMG2 builtins · Oct 25, 2025
  !367
• value-analysis-overflows-3 protected

  e5cedecb · Replace // with # for comments in configurations · Oct 24, 2025
  !351
• svcomp26-no-overflow-value-analysis protected

  d62fe06f · Simplify configs for checking overflows with value analysis · Oct 24, 2025
  !357
• fix_live_vars_cpa_possible_nullpointer protected

  e23bf870 · Merge branch 'main' into fix_live_vars_cpa_possible_nullpointer · Oct 24, 2025
  !369
• SMG2_remove_liveVariables_abstraction protected

  cad0cb84 · Merge branch 'main' into SMG2_remove_liveVariables_abstraction · Oct 24, 2025
  !372