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
29 Open 128 Closed
29 Open 128 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

Int domain refinement causes timeout and fixpoint error bug performance Analysis time, memory usage unsound
#1671 opened Feb 6, 2025 by AdrianKrauss
3
Disable race analyses for other ConcurrencySafety properties performance Analysis time, memory usage sv-comp SV-COMP (analyses, results), witnesses
#1667 opened Jan 30, 2025 by karoliineh Loading… SV-COMP 2026
1
@karoliineh
5
Disable race analyses for other ConcurrencySafety properties good first issue performance Analysis time, memory usage sv-comp SV-COMP (analyses, results), witnesses
#1661 opened Jan 23, 2025 by sim642 SV-COMP 2026
1
@karoliineh
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 Loading…
1
143
Avoid populating dep table in TD3 when non-incremental bug good first issue performance Analysis time, memory usage
#1566 opened Sep 6, 2024 by sim642
Validation of YAML witnesses takes undue amount of time compared to analyis bug performance Analysis time, memory usage sv-comp SV-COMP (analyses, results), witnesses
#1539 opened Jul 8, 2024 by michael-schwarz
4
Investigate replacing Set with François Pottier's sets from the baby library performance Analysis time, memory usage student-job
#1525 opened Jun 25, 2024 by michael-schwarz
1
Printing of Apron values very slow benchmarking performance Analysis time, memory usage
#1513 opened Jun 15, 2024 by michael-schwarz
14
ApronPrecCompare runs >= 35h and consumes 40GB of RAM bug performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
#1490 opened May 27, 2024 by michael-schwarz
4
SV-COMP autotuner spuriously enables all integer domains bug performance Analysis time, memory usage precision sv-comp SV-COMP (analyses, results), witnesses unsound usability
#1472 opened May 20, 2024 by sim642 SV-COMP 2026
5
Affine Equalities Mostly Contain Only Small Portions of Actual Information performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
#1459 opened May 14, 2024 by DrMichaelPetter
2
@DrMichaelPetter
Witness ARG lifter non-termination with growing exclusion sets bug performance Analysis time, memory usage sv-comp SV-COMP (analyses, results), witnesses
#1322 opened Jan 11, 2024 by michael-schwarz SV-COMP 2026
@sim642
1
Optimize heterogeneous Apron join good first issue performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
#1275 opened Nov 27, 2023 by sim642
1
Termination analysis cleanup bug cleanup Refactoring, clean-up performance Analysis time, memory usage precision testing unsound
#1245 opened Nov 15, 2023 by sim642
8 tasks
v2.6.0
Witness invariants for widened variables feature performance Analysis time, memory usage sv-comp SV-COMP (analyses, results), witnesses
#1219 opened Oct 20, 2023 by sim642 SV-COMP 2026
@sim642
Too much time spent on reachability computations benchmarking performance Analysis time, memory usage
#1194 opened Sep 27, 2023 by sim642
var_eq doesn't remove unreachable variables in enter bug good first issue performance Analysis time, memory usage
#1128 opened Aug 4, 2023 by sim642
Regressions from string literals domain benchmarking bug performance Analysis time, memory usage
#1126 opened Aug 3, 2023 by sim642
Clean thread joins analysis 4× slowdown benchmarking bug performance Analysis time, memory usage
#1120 opened Jul 28, 2023 by sim642
Allow disabling context-sensitivity for specific functions feature performance Analysis time, memory usage
#929 opened Nov 24, 2022 by michael-schwarz
1
Handle large programs context-insensitively with autotuner performance Analysis time, memory usage sv-comp SV-COMP (analyses, results), witnesses
#899 opened Nov 10, 2022 by jerhard SV-COMP 2026
@jerhard
1
Switch to HoareSet for MayLocks performance Analysis time, memory usage
#718 opened May 4, 2022 by michael-schwarz
7
Analysis run with extensive restarting causes stack overflow bug performance Analysis time, memory usage
#697 opened Apr 25, 2022 by stilscher
1
Multi-threaded solver TTD3 (Threaded TD3) feature parallel Parallel Goblint performance Analysis time, memory usage
#644 opened Mar 16, 2022 by michael-schwarz
@arkocal
2
__LINE__ in macro can cause several functions to be changed performance Analysis time, memory usage preprocessing C preprocessing
#630 opened Mar 8, 2022 by stilscher
@stilscher
8
ProTip! Add no:assignee to see everything that’s not assigned.