Skip to content

Pull requests: goblint/analyzer

New pull request New
36 Open 967 Closed
36 Open 967 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Use sets for widening thresholds instead of lists cleanup Refactoring, clean-up performance Analysis time, memory usage
#1654 opened Jan 10, 2025 by karoliineh Loading…
1
Avoid spurious writes for invariants in base mutex-meet-tid precision
#1653 opened Jan 9, 2025 by sim642 • Draft
1 of 3 tasks
1
Analysis of pthread_barriers feature precision
#1652 opened Dec 24, 2024 by michael-schwarz • Draft
4 of 5 tasks
1
2
Relational: Use same invalidation strategy as base bug precision relational Relational analyses (Apron, affeq, lin2var)
#1646 opened Dec 17, 2024 by michael-schwarz Loading…
1
10
PrivPrecCompare: Add bot_in_blob_leq_bot so bot and Blob(bot) are considered equal
#1645 opened Dec 17, 2024 by michael-schwarz Loading…
2
Relational MM: Cluster LMust bug precision relational Relational analyses (Apron, affeq, lin2var) unsound
#1643 opened Dec 17, 2024 by michael-schwarz Loading…
5
More useful stats output by privPrecCompare benchmarking
#1642 opened Dec 17, 2024 by michael-schwarz Loading…
Narrowing of globals in TD feature precision student-job
#1636 opened Dec 2, 2024 by Red-Panda64 Loading…
2
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
Replace readwrite protection with read protection cleanup Refactoring, clean-up
#1631 opened Nov 25, 2024 by sim642 Loading…
Simplify relational witness invariants feature sv-comp SV-COMP (analyses, results), witnesses usability
#1630 opened Nov 21, 2024 by sim642 Loading…
3 of 4 tasks
SV-COMP 2026
@sim642
Sparsification of Affine Equality Matrix feature in progress performance Analysis time, memory usage practical-course Practical Course at TUM student-job
#1625 opened Nov 5, 2024 by GollokG • Draft
1
21
Bitfield Domain feature in progress practical-course Practical Course at TUM precision student-job
#1623 opened Nov 5, 2024 by ManuelLerchner • Draft
18
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
Exclude multithreaded main-main races by threadflag precision
#1589 opened Oct 2, 2024 by sim642 • Draft
Unsound congruence domain arithmetic bug sv-comp SV-COMP (analyses, results), witnesses unsound
#1587 opened Oct 1, 2024 by sim642 • Draft SV-COMP 2026
@jerhard
3
Try to fix sv-benchmarks termination-restricted-15/IntPath Apron normalization precision relational Relational analyses (Apron, affeq, lin2var)
#1585 opened Sep 30, 2024 by sim642 • Draft
Improve history thread ID may_create feature performance Analysis time, memory usage precision relational Relational analyses (Apron, affeq, lin2var)
#1561 opened Aug 14, 2024 by sim642 Loading…
5 of 6 tasks
@sim642
15
Refactor writing to pointers bug cleanup Refactoring, clean-up
#1531 opened Jul 1, 2024 by karoliineh • Draft
1 task
2
2
Remove restriction that no loop unrolling is done when breaks are in the loop precision sv-comp SV-COMP (analyses, results), witnesses
#1518 opened Jun 19, 2024 by karoliineh Loading… SV-COMP 2026
@karoliineh
2
C-2PO: Thesis About a Weakly-Relational Pointer Analysis feature relational Relational analyses (Apron, affeq, lin2var) student-job
#1485 opened May 24, 2024 by reb-ddm Loading…
64
Implement lookahead widening feature precision student-job
#1484 opened May 24, 2024 by RonaldJudin • Draft
4 of 7 tasks
@sim642
Implement delayed widening feature precision student-job
#1483 opened May 24, 2024 by RonaldJudin Loading…
2 tasks done
@sim642
6
Handle operations on the addresses of non-array types bug
#1480 opened May 23, 2024 by karoliineh Loading…
1
4
Make meet in AddressDomain more precise bug precision
#1468 opened May 15, 2024 by michael-schwarz Loading…
1
@michael-schwarz
12
ProTip! Mix and match filters to narrow down what you’re looking for.