Skip to content

Issues: goblint/analyzer

Beta
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

206 Open 475 Closed
206 Open 475 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

Output location invariants for witnesses at labels sv-comp SV-COMP (analyses, results), witnesses
#1735 opened Apr 24, 2025 by sim642 SV-COMP 2026
@sim642
Fixpoint not reached for 14 new tasks sv-comp SV-COMP (analyses, results), witnesses unsound
#1734 opened Apr 22, 2025 by michael-schwarz
1
Remove support for GraphML witnesses? cleanup Refactoring, clean-up performance Analysis time, memory usage sv-comp SV-COMP (analyses, results), witnesses
#1732 opened Apr 19, 2025 by michael-schwarz SV-COMP 2026
@sim642
2
Audit for domain-unsafe global code parallel Parallel Goblint
#1730 opened Apr 17, 2025 by sim642
10 tasks
1
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
Questionable invariants in SV-COMP 2025 witnesses sv-comp SV-COMP (analyses, results), witnesses unsound usability
#1722 opened Apr 9, 2025 by sim642
4 tasks
SV-COMP 2026
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
Vojdani privatization may output read-unprotected variables to witnesses pr-dependency Depends or builds on another PR, which should be merged before sv-comp SV-COMP (analyses, results), witnesses
#1713 opened Mar 17, 2025 by sim642
@sim642
Variables protected by mutex are incorrectly calculated
#1712 opened Mar 17, 2025 by sim642
1
1
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
exception Cilfacade.TypeOfError(typeOffset: Field on a non-compound (lock, char )) for custom malloc wrappers
#1706 opened Mar 7, 2025 by michael-schwarz
Base: Inconsistencies in eval_rv
#1704 opened Mar 5, 2025 by michael-schwarz
Scanning for 0 in an array flags code dead bug
#1702 opened Mar 4, 2025 by DrMichaelPetter
1
Remaining verdicts Error (both branches dead) on SV-COMP bug sv-comp SV-COMP (analyses, results), witnesses
#1696 opened Feb 27, 2025 by michael-schwarz
8 of 90 tasks
SV-COMP 2026
9
malloc_null: Interprocedural analysis unsound unsound
#1691 opened Feb 19, 2025 by michael-schwarz
1
SVCOMP: Investigate / Come up with autotuners for new features relational Relational analyses (Apron, affeq, lin2var) sv-comp SV-COMP (analyses, results), witnesses
#1681 opened Feb 14, 2025 by michael-schwarz
6 tasks
SV-COMP 2026
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
Ability to enable/disable may_race checks per race digest feature
#1664 opened Jan 24, 2025 by michael-schwarz
1
@michael-schwarz
Support for pthread_once for race detection precision
#1662 opened Jan 24, 2025 by michael-schwarz
1
@michael-schwarz
Support for futex student-job
#1660 opened Jan 22, 2025 by michael-schwarz
Warn when ana.opt.hashcons is off, but witness.graphml.enabled or exp.arg.enabled are on or an Apron domain is on bug usability
#1657 opened Jan 16, 2025 by michael-schwarz
1
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
Warn about bitwise shift misuse with negative arguments feature good first issue
#1637 opened Dec 4, 2024 by sim642
ProTip! What’s not been updated in a month: updated:<2025-03-28.