Skip to content

Issues: goblint/analyzer

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
61 Open 284 Closed
61 Open 284 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Termination analysis gives up for loops with multiple conditions cleanup Refactoring, clean-up precision sv-comp SV-COMP (analyses, results), witnesses
#1725 opened Apr 11, 2025 by leunam99
1
Strengthening for non-Apron relational domains cleanup Refactoring, clean-up precision question relational Relational analyses (Apron, affeq, lin2var)
#1716 opened Mar 20, 2025 by sim642
longjmp in abstract call graph/ARG debugging Abstract debugging precision sv-comp SV-COMP (analyses, results), witnesses usability
#1711 opened Mar 14, 2025 by sim642
5
Naïve unassume in var_eq analysis feature precision sv-comp SV-COMP (analyses, results), witnesses
#1710 opened Mar 12, 2025 by sim642 SV-COMP 2026
@sim642
3
Add explicit W set to base protection privatization precision
#1693 opened Feb 20, 2025 by sim642 Loading…
5
Replace int -> _Bool in goblint stubs arguments bug precision
#1684 opened Feb 17, 2025 by sim642 Loading…
3 tasks done
1
Inequalities between pointers do not work good first issue precision sv-comp SV-COMP (analyses, results), witnesses
#1680 opened Feb 13, 2025 by karoliineh SV-COMP 2026
2
Support for pthread_once for race detection precision
#1662 opened Jan 24, 2025 by michael-schwarz
1
@michael-schwarz
Avoid spurious writes for invariants in base mutex-meet-tid precision
#1653 opened Jan 9, 2025 by sim642 • Draft
1 of 3 tasks
4
Analysis of pthread_barriers feature precision
#1652 opened Dec 24, 2024 by michael-schwarz Loading…
5 tasks done
1
6
Analysis of pthread_barrier for race detection feature precision
#1651 opened Dec 21, 2024 by michael-schwarz
1
Fully simplifying assertions with base sometimes harmful for precision of relational analyses precision relational Relational analyses (Apron, affeq, lin2var)
#1650 opened Dec 20, 2024 by michael-schwarz
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
12
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
Refine float-integer casts in BaseInvariant feature precision sv-comp SV-COMP (analyses, results), witnesses
#1632 opened Nov 26, 2024 by sim642
BaseInvariant internal computations can overflow bug precision
#1629 opened Nov 19, 2024 by sim642
Atomic signed integer overflows should not violate SV-COMP no-overflow property feature precision sv-comp SV-COMP (analyses, results), witnesses
#1621 opened Nov 5, 2024 by sim642
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
Apron analysis does not support trivial assertions precision relational Relational analyses (Apron, affeq, lin2var)
#1610 opened Oct 30, 2024 by sim642
3
Quickcheck int domain abstract operation properties precision testing
#1609 opened Oct 30, 2024 by sim642
Exclude multithreaded main-main races by threadflag precision
#1589 opened Oct 2, 2024 by sim642 • Draft
2
Imprecise cast overflows in sv-benchmarks in progress precision sv-comp SV-COMP (analyses, results), witnesses
#1586 opened Sep 30, 2024 by sim642
13 tasks
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
Refine using YAML violation witnesses feature precision sv-comp SV-COMP (analyses, results), witnesses
#1567 opened Sep 10, 2024 by sim642
Spurious overflow warnings due to partitioned arrays in globals bug precision sv-comp SV-COMP (analyses, results), witnesses
#1565 opened Sep 6, 2024 by sim642
ProTip! Find all open issues with in progress development work with linked:pr.