Skip to content

Pull requests: goblint/analyzer

New pull request New
53 Open 1,177 Closed
53 Open 1,177 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

Fix Invalid_widen in MustThreadSet by replacing Reverse(ThreadSet) with Reverse(ToppedSet(FlagConfiguredTID))
#1977 opened Apr 1, 2026 by Copilot AI • Draft
1
@michael-schwarz
Eliminate exception-based hashtable lookups in solver hot paths
#1976 opened Apr 1, 2026 by Copilot AI • Draft
1
@michael-schwarz
8
Cache field offset calculations using CIL analyze-that cleanup Refactoring, clean-up feature performance Analysis time, memory usage
#1974 opened Mar 31, 2026 by sim642 Loading…
1 of 2 tasks
v2.8.0 Clumsy Clurichaun
1
@sim642
3
Replace Cil.sizeOf with Cilfacade.bytesSizeOf cleanup Refactoring, clean-up performance Analysis time, memory usage
#1973 opened Mar 31, 2026 by sim642 Loading… v2.8.0 Clumsy Clurichaun
1
Avoid collecting TD3 dep when non-incremental analyze-that bug performance Analysis time, memory usage
#1972 opened Mar 31, 2026 by sim642 Loading…
1 of 2 tasks
v2.8.0 Clumsy Clurichaun
1
@sim642
4
Forward Solvers: Split local unknowns by digests feature
#1971 opened Mar 30, 2026 by jerhard Loading…
47
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 • Draft
2 tasks
Make signal handler threads unique analyze-that precision proof-of-concept
#1965 opened Mar 20, 2026 by sim642 Loading…
1 task
2
Deduplicate C logical operators from int domains cleanup Refactoring, clean-up pr-dependency Depends or builds on another PR, which should be merged before type-safety Type-safety improvements
#1963 opened Mar 13, 2026 by sim642 • Draft v2.8.0 Clumsy Clurichaun
Simplify return type of int domain comparison predicates cleanup Refactoring, clean-up type-safety Type-safety improvements
#1962 opened Mar 13, 2026 by sim642 Loading…
1 task done
v2.8.0 Clumsy Clurichaun
@sim642
5
Handle contradictory relations combination as dead paths bug sv-comp SV-COMP (analyses, results), witnesses
#1961 opened Mar 13, 2026 by karoliineh Loading… v2.8.0 Clumsy Clurichaun
3
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 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
15
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
Disable constant folding to not miss checks in constant expressions bug explainability pr-dependency Depends or builds on another PR, which should be merged before
#1933 opened Jan 28, 2026 by sim642 • Draft
1 of 3 tasks
2
HB-relationship involving thread creations while mutexes are held feature precision student-job
#1913 opened Jan 17, 2026 by dabund24 Loading…
1
43
Add warnings about missing function declarations bug testing
#1911 opened Jan 16, 2026 by sim642 Loading… v2.8.0 Clumsy Clurichaun
8
Remove division by zero error message during base invariant cleanup Refactoring, clean-up
#1892 opened Dec 3, 2025 by sim642 • Draft
1 task
8
Violation witness feasibility analysis using Witch feature sv-comp SV-COMP (analyses, results), witnesses
#1882 opened Nov 27, 2025 by karoliineh • Draft v2.8.0 Clumsy Clurichaun
3
Narrowing gas feature precision relational Relational analyses (Apron, affeq, lin2var)
#1879 opened Nov 21, 2025 by DrMichaelPetter Loading…
1
@DrMichaelPetter
15
Remove __annonCompField offsets from witness invariants bug sv-comp SV-COMP (analyses, results), witnesses
#1874 opened Nov 12, 2025 by sim642 • Draft
Fix C2PO witness invariant generation bug sv-comp SV-COMP (analyses, results), witnesses
#1868 opened Nov 7, 2025 by sim642 • Draft
Add hacks to support StrPtr indexing feature precision proof-of-concept
#1863 opened Nov 5, 2025 by sim642 • Draft
ProTip! What’s not been updated in a month: updated:<2026-03-01.