Skip to content

Pull requests: goblint/analyzer

New pull request New
65 Open 1,274 Closed
65 Open 1,274 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

Bump github/codeql-action from 4.37.7 to 4.37.8 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2114 opened Aug 24, 2026 by dependabot Bot Loading…
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
Fix ArrayDomain.Partitioned.make returning non-normalized values bug cleanup Refactoring, clean-up
#2112 opened Aug 19, 2026 by sim642 Member Loading…
7
domains: compare Patricia maps in an order that is antisymmetric bug upstream Issue in dependency, needs fix upstream
#2111 opened Aug 19, 2026 by jprotopopov-ut Contributor • Draft
1
Delay Spec lifter argument conversions until exception handlers inside lift_fun bug
#2108 opened Aug 18, 2026 by sim642 Member • Draft
1 task
@sim642
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
6
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
Switch to widen which doesn't require leq on arguments cleanup Refactoring, clean-up performance Analysis time, memory usage
#2081 opened Jul 24, 2026 by sim642 Member Loading…
5 tasks done
v2.9.0
6
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
3
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
BSc thesis "Coloring Data Race Interference Graphs" explainability feature setup Dependencies, CI, releasing student-job usability
#2061 opened Jun 18, 2026 by sim642 Member • Draft
@sim642
4
Add possible analysis V and G coupling layer cleanup Refactoring, clean-up proof-of-concept
#2047 opened May 26, 2026 by sim642 Member • Draft
3 tasks
@sim642
4
Port tutorial analyses to SimplifiedSpec and reuse SimplifiedUnitAnalysis defaults while preserving unitAnalysis compatibility cleanup Refactoring, clean-up
#2043 opened May 23, 2026 by Copilot AI Loading… v2.9.0
1
@michael-schwarz
27
Add option sem.int.div-by-zero cleanup Refactoring, clean-up
#2042 opened May 21, 2026 by sim642 Member • Draft
Use access events in MemOutOfBounds analysis bug cleanup Refactoring, clean-up sv-comp SV-COMP (analyses, results), witnesses unsound
#2027 opened May 8, 2026 by karoliineh Member Loading… SV-COMP 2027
@sim642
5
Account for stored pointer offsets in dereference checks bug sv-comp SV-COMP (analyses, results), witnesses unsound
#2024 opened May 7, 2026 by karoliineh Member • Draft SV-COMP 2027
@karoliineh
1
Remove warn_and_top_on_zero from BaseInvariant for division by zero cleanup Refactoring, clean-up
#2016 opened May 5, 2026 by sim642 Member Loading…
1 task done
5
Allow disabling context-sensitivity for specific functions
#1995 opened Apr 12, 2026 by Copilot AI • Draft
6 tasks done
1
@michael-schwarz
3
Two-phase configuration: freeze point and analysis-phase getters
#1993 opened Apr 12, 2026 by Copilot AI • Draft
1
@michael-schwarz
4
Fix exp.volatiles_are_top and exp.globs_are_top being ignored by relational (Apron) analysis
#1988 opened Apr 12, 2026 by Copilot AI • Draft
1
@michael-schwarz
Fix: symbolic locksets use may-equality when invalidating on unlock
#1987 opened Apr 12, 2026 by Copilot AI • Draft
5 tasks done
1
@michael-schwarz
11
Try to remove duplicate type argument from base set cleanup Refactoring, clean-up
#1985 opened Apr 9, 2026 by sim642 Member • Draft
@sim642
ProTip! Filter pull requests by the default branch with base:master.