Skip to content

Pull requests: goblint/analyzer

New pull request New
75 Open 1,292 Closed
75 Open 1,292 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Port recent ppx deriving improvements to vendored ppx_easy_deriving cleanup Refactoring, clean-up performance Analysis time, memory usage
#2149 opened Sep 14, 2026 by sim642 Member • Draft
1 task
v2.9.0
@sim642
Find widening thesholds from reset conditions feature precision
#2147 opened Sep 11, 2026 by sim642 Member • 2/2 • Draft
Refactor WideningThresholds.extractThresholdsFromConditionsVisitor cleanup Refactoring, clean-up
#2146 opened Sep 11, 2026 by sim642 Member • 1/2 • Draft
1 task
@sim642
Uses modulo constants as extra widening thresholds feature precision
#2144 opened Sep 9, 2026 by bernalalexis-try Loading…
1
2
Add SizeDomain for length in ArrayDomain cleanup Refactoring, clean-up
#2142 opened Sep 9, 2026 by sim642 Member • 2/2 • Draft
1
Remove ikind argument from IndexDomain functions cleanup Refactoring, clean-up
#2138 opened Sep 8, 2026 by sim642 Member • 1/2 • Draft
2 of 4 tasks
3
extend uninit analysis to handle unknown pointers
#2137 opened Sep 8, 2026 by jprotopopov-ut Contributor • Draft
Add used assumptions declarations explainability usability
#2133 opened Sep 4, 2026 by sim642 Member Loading…
2 tasks done
v2.9.0
@sim642
3
SV-COMP 2027 development in progress sv-comp SV-COMP (analyses, results), witnesses
#2131 opened Sep 4, 2026 by sim642 Member • Draft
1 task
SV-COMP 2027
1
@sim642
Add unsound test 01-cpa/63-escaping-recursion-global bug unsound
#2130 opened Sep 4, 2026 by sim642 Member • Draft
Fix eval_offset on unknown union field with known value bug precision
#2128 opened Sep 3, 2026 by sim642 Member Loading…
Extract weakUpdates analysis from base cleanup Refactoring, clean-up
#2127 opened Sep 3, 2026 by sim642 Member • Draft
1 of 5 tasks
@sim642
2
Introduce Var abstraction cleanup Refactoring, clean-up proof-of-concept
#2126 opened Sep 2, 2026 by sim642 Member • Draft
3 tasks
Mod bounds unsoundness bug precision unsound
#2124 opened Aug 31, 2026 by vesalvojdani Member Loading…
5
FwdChecker: Avoid re-checking locals because of global dependencies bug performance Analysis time, memory usage
#2117 opened Aug 26, 2026 by michael-schwarz Member Loading…
1
Fix inverted zero-divisor check in base MaySignedOverflow bug
#2116 opened Aug 25, 2026 by karoliineh Member Loading… SV-COMP 2027
@karoliineh
4
Check special argument accesses properly in memOutOfBounds bug cleanup Refactoring, clean-up precision sv-comp SV-COMP (analyses, results), witnesses unsound
#2113 opened Aug 24, 2026 by sim642 Member • Draft
Delay Spec lifter argument conversions until exception handlers inside lift_fun bug
#2108 opened Aug 18, 2026 by sim642 Member Loading…
2 tasks done
v2.9.0
Add sound loop thread-join coverage analysis feature
#2101 opened Aug 14, 2026 by michael-schwarz Member • Draft
3
Fix Apron handling of escaped locals bug relational Relational analyses (Apron, affeq, lin2var) unsound
#2100 opened Aug 14, 2026 by michael-schwarz Member Loading…
1
7
Fix unknown thread invalidation ordering bug unsound
#2099 opened Aug 12, 2026 by michael-schwarz Member Loading…
1
9
Phase Ghosts: Generalize to allow for cyclic phases feature ghost-branch
#2088 opened Aug 3, 2026 by michael-schwarz Member • Draft
Fix spurious overflow checks in memOutOfBounds bug precision sv-comp SV-COMP (analyses, results), witnesses
#2079 opened Jul 22, 2026 by sim642 Member Loading… v2.9.0
1
5
Turn non-analysis expRelation into queryProvider cleanup Refactoring, clean-up
#2076 opened Jul 17, 2026 by michael-schwarz Member Loading…
4
Validation of Witnesses with Ghosts feature ghost-branch sv-comp SV-COMP (analyses, results), witnesses
#2072 opened Jul 10, 2026 by michael-schwarz Member Loading…
3 tasks done
@michael-schwarz
9
ProTip! Mix and match filters to narrow down what you’re looking for.