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
41 Open 324 Closed
41 Open 324 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
Cleanup some option related code cleanup Refactoring, clean-up
#1689 opened Feb 18, 2025 by michael-schwarz Loading…
7
Add abstract interface to Invariant cleanup Refactoring, clean-up sv-comp SV-COMP (analyses, results), witnesses type-safety Type-safety improvements
#1668 opened Jan 31, 2025 by sim642 • Draft
2 tasks
4
Replace race warning confidences with semantic information cleanup Refactoring, clean-up explainability feature usability
#1634 opened Nov 29, 2024 by sim642
3 tasks
@karoliineh
Replace readwrite protection with read protection bug cleanup Refactoring, clean-up
#1631 opened Nov 25, 2024 by sim642 Loading…
1
Use CIL fallthrough field for CFG construction cleanup Refactoring, clean-up feature usability
#1620 opened Nov 5, 2024 by sim642
Clean up library function spawning in base analysis cleanup Refactoring, clean-up
#1553 opened Aug 5, 2024 by sim642
Clear up meaning of MayEscape & Distinguish a local becoming reachable via globals from being reachable by other threads bug cleanup Refactoring, clean-up documentation Documentation, comments question
#1544 opened Jul 16, 2024 by michael-schwarz
1
Refactor writing to pointers bug cleanup Refactoring, clean-up
#1531 opened Jul 1, 2024 by karoliineh • Draft
1 task
2
4
Proposal: Unify handling of malloc and escaping locals cleanup Refactoring, clean-up relational Relational analyses (Apron, affeq, lin2var)
#1491 opened May 27, 2024 by michael-schwarz
2
Make use of OCaml 4.14 features cleanup Refactoring, clean-up
#1477 opened May 22, 2024 by sim642
1 of 5 tasks
BaseAnalysis: Investigate why join over alternatives for non-definite AD target does not work cleanup Refactoring, clean-up
#1465 opened May 15, 2024 by michael-schwarz
1
@karoliineh
2
Split octagon autotuner to separate octagonAnalysis and octagonVars autotuners cleanup Refactoring, clean-up precision relational Relational analyses (Apron, affeq, lin2var) sv-comp SV-COMP (analyses, results), witnesses usability
#1449 opened May 8, 2024 by sim642
1
Housekeeping relational analyses cleanup Refactoring, clean-up documentation Documentation, comments relational Relational analyses (Apron, affeq, lin2var)
#1446 opened May 6, 2024 by DrMichaelPetter
1 of 3 tasks
8
Switch from BatEnum to Seq cleanup Refactoring, clean-up pr-dependency Depends or builds on another PR, which should be merged before
#1443 opened May 3, 2024 by karoliineh Loading…
3 of 4 tasks
1
14
Switch from BatEnum to Seq cleanup Refactoring, clean-up good first issue
#1437 opened Apr 30, 2024 by sim642
1
Dubious code duplication in destabilize_vs cleanup Refactoring, clean-up
#1433 opened Apr 25, 2024 by Red-Panda64
1
9
Multiset domain for recursive must-locksets cleanup Refactoring, clean-up unsound
#1432 opened Apr 24, 2024 by sim642
Inconsistent behavior for startstate in incremental analysis based on whether AST or CFG comparison is used cleanup Refactoring, clean-up precision testing unsound
#1425 opened Apr 22, 2024 by sim642
17 of 19 tasks
5
Type-safe global query system cleanup Refactoring, clean-up type-safety Type-safety improvements
#1423 opened Apr 22, 2024 by sim642 Loading…
1 of 3 tasks
@sim642
8
Improve dune runtest output cleanup Refactoring, clean-up good first issue testing usability
#1392 opened Mar 12, 2024 by sim642
4 of 6 tasks
@sim642
Principled fix for Apron-Domain Top bug cleanup Refactoring, clean-up relational Relational analyses (Apron, affeq, lin2var)
#1380 opened Mar 3, 2024 by michael-schwarz
1
Remove statement IDs (sids) from user-friendly allocation variable name cleanup Refactoring, clean-up usability
#1363 opened Feb 14, 2024 by sim642
Deduplicate access handling in useAfterFree analysis cleanup Refactoring, clean-up
#1351 opened Feb 4, 2024 by sim642
ProTip! Adding no:label will show everything without a label.