Skip to content

Pull requests: goblint/analyzer

New pull request New
38 Open 1,108 Closed
38 Open 1,108 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

Improve mhp precision using ancestor locksets feature precision student-job
#1865 opened Nov 5, 2025 by dabund24 • Draft
10 tasks
1
Use access events in useAfterFree analysis bug cleanup Refactoring, clean-up sv-comp SV-COMP (analyses, results), witnesses unsound
#1864 opened Nov 5, 2025 by sim642 • Draft
2 tasks
Add hacks to support StrPtr indexing feature precision
#1863 opened Nov 5, 2025 by sim642 • Draft
Use-after-free Analysis: Fix warning generation for lvalues bug sv-comp SV-COMP (analyses, results), witnesses unsound
#1862 opened Nov 4, 2025 by jerhard Loading… SV-COMP 2026
1
4
Automatically determine generated YAML witness version feature sv-comp SV-COMP (analyses, results), witnesses
#1859 opened Oct 30, 2025 by sim642 Loading…
1 task done
SV-COMP 2026
Prototype loop transition invariant generation feature pr-dependency Depends or builds on another PR, which should be merged before sv-comp SV-COMP (analyses, results), witnesses
#1849 opened Oct 23, 2025 by sim642 • Draft
2 tasks
Fix YAML witness do-while loop_invariant locations bug pr-dependency Depends or builds on another PR, which should be merged before sv-comp SV-COMP (analyses, results), witnesses
#1847 opened Oct 23, 2025 by sim642 Loading…
1 task
SV-COMP 2026
1
SV-COMP 2026 development in progress sv-comp SV-COMP (analyses, results), witnesses
#1841 opened Oct 16, 2025 by sim642 • Draft
3 of 5 tasks
SV-COMP 2026
@sim642
Add Mopsa-like Warning Selectivity Reporting explainability feature
#1838 opened Oct 14, 2025 by Robotechnic Loading…
3
Implement proper naïve unassume in var_eq feature precision sv-comp SV-COMP (analyses, results), witnesses
#1827 opened Sep 26, 2025 by sim642 • Draft
3 of 4 tasks
SV-COMP 2026
1
@sim642
Change jobs option default to 0 parallel Parallel Goblint performance Analysis time, memory usage usability
#1810 opened Aug 15, 2025 by sim642 Loading… v2.7.0 Bamboozled Buffalo
2
Forward Constraint System feature
#1800 opened Aug 1, 2025 by michael-schwarz • Draft
3
Replace eager show with lazy pretty during analysis bug cleanup Refactoring, clean-up performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
#1797 opened Jul 30, 2025 by sim642 Loading… v2.7.0 Bamboozled Buffalo
1
TD Parallel Base
#1783 opened Jul 16, 2025 by arkocal • Draft
sparseOctagons: a new sparse implementation of Miné's Octagons in progress performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
#1776 opened Jul 3, 2025 by DrMichaelPetter • Draft
@DrMichaelPetter
5
Make lines in warning output clickable in VS Code usability
#1769 opened Jun 26, 2025 by Robotechnic Loading…
3
New Analysis combining Linear Two-Variable Equalities with other domains relational Relational analyses (Apron, affeq, lin2var) student-job
#1765 opened Jun 23, 2025 by leunam99 Loading…
23
Lab Course SoSe2025 - Pentagon Domain feature in progress relational Relational analyses (Apron, affeq, lin2var) student-job
#1740 opened May 7, 2025 by feniup Loading…
48
Experiment with unassume for mutex analysis feature performance Analysis time, memory usage proof-of-concept sv-comp SV-COMP (analyses, results), witnesses
#1715 opened Mar 20, 2025 by sim642 • Draft
3 tasks
Add explicit W set to base protection privatization precision
#1693 opened Feb 20, 2025 by sim642 Loading…
5
Staging for Race Digests benchmarking feature in progress
#1666 opened Jan 29, 2025 by michael-schwarz • Draft
2
Minimize unnecessary casts and check for overflows in witness invariants explainability pr-dependency Depends or builds on another PR, which should be merged before relational Relational analyses (Apron, affeq, lin2var) sv-comp SV-COMP (analyses, results), witnesses
#1665 opened Jan 27, 2025 by karoliineh Loading…
1 of 4 tasks
SV-COMP 2026
@karoliineh
6
Avoid spurious writes for invariants in base mutex-meet-tid precision
#1653 opened Jan 9, 2025 by sim642 • Draft
1 of 3 tasks
4
Linear Two Variable Equality Domain Refining Value Domain in progress precision relational Relational analyses (Apron, affeq, lin2var)
#1635 opened Nov 29, 2024 by DrMichaelPetter • Draft
@DrMichaelPetter
4
mine-W privatization undermines Miné, lock is less precise than mine/protection bug precision
#1613 opened Nov 1, 2024 by sim642 • Draft
2 tasks done
2
ProTip! no:milestone will show everything without a milestone.