Skip to content

Pull requests: goblint/analyzer

New pull request New
59 Open 1,218 Closed
59 Open 1,218 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

Use opam with-dev-setup setup Dependencies, CI, releasing
#2036 opened May 15, 2026 by sim642 Member Loading…
1 of 2 tasks
v2.8.0 Clumsy Clurichaun
@sim642
1
Replace fake ZeroInit lattice with flat lattice bug sv-comp SV-COMP (analyses, results), witnesses unsound
#2035 opened May 15, 2026 by sim642 Member Loading…
1 task
SV-COMP 2027
@sim642
2
Detect duplicate order numbers in queries.ml at test time
#2033 opened May 14, 2026 by Copilot AI Loading…
1
@michael-schwarz
5
Force dune version 3.19.1 in make dev
#2031 opened May 13, 2026 by arkocal Contributor Loading…
Improve memOutOfBounds precision for points-to sets which mix allocs with others precision sv-comp SV-COMP (analyses, results), witnesses
#2030 opened May 13, 2026 by sim642 Member • Draft
1 of 2 tasks
SV-COMP 2027
@sim642
1
Phase Ghost Support for Non-Relational Mutex-Meet-TID ghost-branch
#2028 opened May 12, 2026 by michael-schwarz Member • Draft
@michael-schwarz
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 pr-dependency Depends or builds on another PR, which should be merged before 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
FM'26 Tutorial feature
#2012 opened Apr 27, 2026 by michael-schwarz Member Loading…
37
Allow disabling context-sensitivity for specific functions
#1995 opened Apr 12, 2026 by Copilot AI • Draft
6 tasks done
1
@michael-schwarz
3
Migrate from CIL's Pretty to OCaml's Format (initial pass)
#1994 opened Apr 12, 2026 by Copilot AI • Draft
1
@michael-schwarz
1
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
10
Try to remove duplicate type argument from base set cleanup Refactoring, clean-up
#1985 opened Apr 9, 2026 by sim642 Member • Draft
@sim642
Rewrite base pointer refinement by pointee using trick from set analyze-that cleanup Refactoring, clean-up performance Analysis time, memory usage
#1983 opened Apr 8, 2026 by sim642 Member • Draft
5
Eliminate exception-based hashtable lookups in solver hot paths
#1976 opened Apr 1, 2026 by Copilot AI • Draft
1
@michael-schwarz
9
Add privatization of effectively thread-local globals analyze-that pr-dependency Depends or builds on another PR, which should be merged before precision proof-of-concept
#1966 opened Mar 20, 2026 by sim642 Member • Draft
3 tasks
Make signal handler threads unique analyze-that precision proof-of-concept
#1965 opened Mar 20, 2026 by sim642 Member Loading…
2 tasks
4
Split octagon autotuner to separate octagonAnalysis and octagonVars autotuners cleanup Refactoring, clean-up precision relational Relational analyses (Apron, affeq, lin2var) sv-comp SV-COMP (analyses, results), witnesses usability
#1952 opened Mar 5, 2026 by karoliineh Member Loading…
6
Bachelor's Thesis – tnilboG: Extending Goblint Analyzer with Weakest Preconditions feature student-job
#1946 opened Feb 28, 2026 by emwint • Draft
2 of 11 tasks
29
Master's Thesis "Garbage-Collector-Aware Static Analysis of OCaml C-stubs" feature in progress student-job
#1944 opened Feb 10, 2026 by RonaldJudin • Draft
@sim642
30
Bachelor's Thesis "Synthesizing Ranking Functions for LASW programs with Goblint" feature student-job
#1941 opened Feb 5, 2026 by alexandermazur1 • Draft
1
@alexandermazur1
31
Add MCP server for LLM interaction with Goblint
#1938 opened Feb 3, 2026 by Copilot AI • Draft
11 tasks done
1
@michael-schwarz
9
ProTip! Updated in the last three days: updated:>2026-05-12.