All pull requests

Pull requests

• Weaken relation analysis multiple variable updates and refinements

  #2162·vesalvojdani opened Sep 23, 2026Member·

  ·
  4

• Replace rand() with __VERIFIER_nondet_int() in multithreaded tests

  testing
  #2161·sim642 opened Sep 23, 2026Member·

  ·

• Improve pthreadBarriers data in race warnings

  usability
  #2160·sim642 opened Sep 23, 2026Member·

  ·

  · v2.9.0

• Perform ana.unassume.precheck by disjunct

  precisionsv-comp
  #2158·sim642 opened Sep 22, 2026Member·

  ·

  · SV-COMP 2027

• TD Parallel

  parallel
  #2157·arkocal opened Sep 22, 2026Contributor·

  ·
  2

• Add unsound test 74-invalid_deref/45-tricky-scopes

  bugtestingunsound
  #2155·sim642 opened Sep 21, 2026Member·

  ·

• Split branchSet analysis to multiple variants with different interprocedural behavior

  performanceprecisionsv-comp
  #2150·sim642 opened Sep 14, 2026Member·

  ·

  · SV-COMP 2027
  1

• Port recent ppx deriving improvements to vendored ppx_easy_deriving

  cleanupperformance
  #2149·sim642 opened Sep 14, 2026Member·

  ·

  · v2.9.0
  

• Find widening thresholds from reset conditions

  featureprecision
  #2147·sim642 opened Sep 11, 2026Member·2/2·

  ·
  1

• Refactor WideningThresholds.extractThresholdsFromConditionsVisitor

  cleanup
  #2146·sim642 opened Sep 11, 2026Member·1/2·

  ·
  

• Add SizeDomain for length in ArrayDomain

  cleanup
  #2142·sim642 opened Sep 9, 2026Member·2/2·

  ·
  1

• Remove ikind argument from IndexDomain functions

  cleanup
  #2138·sim642 opened Sep 8, 2026Member·1/2·

  ·
  3

• extend uninit analysis to handle unknown pointers

  #2137·jprotopopov-ut opened Sep 8, 2026Contributor·

  ·

• SV-COMP 2027 development

  in progresssv-comp
  #2131·sim642 opened Sep 4, 2026Member·

  ·

  · SV-COMP 2027
  1

  

• Add unsound test 01-cpa/63-escaping-recursion-global

  bugtestingunsound
  #2130·sim642 opened Sep 4, 2026Member·

  ·
  1

• Extract weakUpdates analysis from base

  cleanup
  #2127·sim642 opened Sep 3, 2026Member·

  ·
  11

  

• Introduce Var abstraction

  cleanupproof-of-concept
  #2126·sim642 opened Sep 2, 2026Member·

  ·

• Mod bounds unsoundness

  bugprecisionunsound
  #2124·vesalvojdani opened Aug 31, 2026Member·

  ·
  7

• FwdChecker: Avoid re-checking locals because of global dependencies

  bugperformance
  #2117·michael-schwarz opened Aug 26, 2026Member·

  ·
  1

• Fix inverted zero-divisor check in base MaySignedOverflow

  bug
  #2116·karoliineh opened Aug 25, 2026Member·

  ·

  · SV-COMP 2027
  4

  

• Check special argument accesses properly in memOutOfBounds

  bugcleanupprecisionsv-compunsound
  #2113·sim642 opened Aug 24, 2026Member·

  ·

• Add sound loop thread-join coverage analysis

  feature
  #2101·michael-schwarz opened Aug 14, 2026Member·

  ·
  3

• Fix unknown thread invalidation ordering

  bugunsound
  #2099·michael-schwarz opened Aug 12, 2026Member·

  ·
  1

  9

• Phase Ghosts: Generalize to allow for cyclic phases

  featureghost-branch
  #2088·michael-schwarz opened Aug 3, 2026Member·

  ·

• Fix spurious overflow checks in memOutOfBounds

  bugprecisionsv-comp
  #2079·sim642 opened Jul 22, 2026Member·

  ·

  · v2.9.0
  1

  5