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 295 Closed
61 Open 295 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

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
@sim642
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 bash completion for array element addition and removal feature usability
#1705 opened Mar 7, 2025 by sim642 Loading…
1
Ability to enable/disable may_race checks per race digest feature
#1669 opened Jan 31, 2025 by michael-schwarz • Draft
1
Staging for Race Digests benchmarking feature in progress
#1666 opened Jan 29, 2025 by michael-schwarz • Draft
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 feature
#1663 opened Jan 24, 2025 by michael-schwarz Loading…
2 tasks done
1
1
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
Warn about bitwise shift misuse with negative arguments feature good first issue
#1637 opened Dec 4, 2024 by sim642
Replace race warning confidences with semantic information cleanup Refactoring, clean-up explainability feature usability
#1634 opened Nov 29, 2024 by sim642
3 tasks
@karoliineh
Refine float-integer casts in BaseInvariant feature precision sv-comp SV-COMP (analyses, results), witnesses
#1632 opened Nov 26, 2024 by sim642
Simplify relational witness invariants feature sv-comp SV-COMP (analyses, results), witnesses usability
#1630 opened Nov 21, 2024 by sim642 Loading…
4 of 5 tasks
SV-COMP 2026
4
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
Use CIL fallthrough field for CFG construction cleanup Refactoring, clean-up feature usability
#1620 opened Nov 5, 2024 by sim642
Success messages with topological sorting from deadlock analysis explainability feature usability
#1581 opened Sep 27, 2024 by sim642
Refine using YAML violation witnesses feature precision sv-comp SV-COMP (analyses, results), witnesses
#1567 opened Sep 10, 2024 by sim642
JSON5 conf files feature usability
#1524 opened Jun 24, 2024 by sim642
1
Reconsider notion of path-sensitive but context-insensitive analysis documentation Documentation, comments feature precision question usability
#1509 opened Jun 12, 2024 by michael-schwarz
2
Narrowing by fixed number of meets feature good first issue precision relational Relational analyses (Apron, affeq, lin2var)
#1494 opened May 29, 2024 by sim642
1 task
Implement lookahead widening feature precision student-job
#1484 opened May 24, 2024 by RonaldJudin • Draft
4 of 7 tasks
@sim642
2
tnliboG framework for backwards analysis feature relational Relational analyses (Apron, affeq, lin2var) student-job
#1382 opened Mar 5, 2024 by michael-schwarz
Filter fewer synthetic locations for abstract debugger debugging Abstract debugging feature usability
#1336 opened Jan 25, 2024 by sim642
Enhance detection of buffer overflows by introducing variable for length of array/blob feature precision relational Relational analyses (Apron, affeq, lin2var) student-job
#1330 opened Jan 16, 2024 by FungOliver • Draft
3 of 4 tasks
v2.6.0
@jerhard
94
Support for inline assembler & goto instructions in inline assembler feature pr-dependency Depends or builds on another PR, which should be merged before practical-course Practical Course at TUM student-job
#1326 opened Jan 11, 2024 by WernerDrasche Loading… v2.6.0
31
ProTip! Adding no:label will show everything without a label.