All pull requests

Pull requests

• Fix add_offset_varinfo for NullPtr in base

  bugprecision
  #2180·sim642 opened Oct 6, 2026Member·

  ·

  · v2.9.0
  1

• Improve detection of upjumping gotos for termination analysis

  featureprecisionsv-comp
  #2179·jerhard opened Oct 5, 2026Member·

  ·

  · SV-COMP 2027
  8

• Use SizeDomain for blobs and queries

  cleanuppr-dependency
  #2177·sim642 opened Oct 2, 2026Member·1 task·

  ·

• Add regression tests for ArithmeticOnIntegerBot triggers

  bugsv-comp
  #2174·karoliineh opened Sep 29, 2026Member·

  ·
  8

• Weaken relation analysis multiple variable updates and refinements

  #2162·vesalvojdani opened Sep 23, 2026Member·

  ·
  4

• Perform ana.unassume.precheck by disjunct

  precisionsv-comp
  #2158·sim642 opened Sep 22, 2026Member·2 of 4 tasks·

  ·

  · SV-COMP 2027
  1

  

• TD Parallel

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

  ·
  3

• 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·2 of 3 tasks·

  ·

  · SV-COMP 2027
  1

• Port recent ppx deriving improvements to vendored ppx_easy_deriving

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

  ·

  · v2.9.0
  

• Find widening thresholds from reset conditions

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

  ·
  2

• Refactor WideningThresholds.extractThresholdsFromConditionsVisitor

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

  ·
  1

  

• Add SizeDomain for length in ArrayDomain

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

  ·

  · v2.9.0
  2

• 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·2 tasks·

  ·

  · 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·4 of 5 tasks·

  ·
  11

  

• Introduce Var abstraction

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

  ·

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

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

  ·
  1

• 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

• Turn non-analysis expRelation into queryProvider

  cleanup
  #2076·michael-schwarz opened Jul 17, 2026Member·

  ·
  4