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
25 Open 136 Closed
25 Open 136 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

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
1
@sim642
2
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
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
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
6
ARG lifter non-termination with growing exclusion sets bug debugging Abstract debugging performance Analysis time, memory usage
#1322 opened Jan 11, 2024 by michael-schwarz
@sim642
2
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 sv-comp SV-COMP (analyses, results), witnesses
#1128 opened Aug 4, 2023 by sim642
1
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
Optimize CFG representation cleanup Refactoring, clean-up performance Analysis time, memory usage
#609 opened Feb 23, 2022 by sim642 • Draft
2 of 3 tasks
@sim642
13
Parallel preprocessing and parsing parallel Parallel Goblint performance Analysis time, memory usage
#589 opened Feb 3, 2022 by sim642
1 of 2 tasks
1
@sim642
should not eval unread globals performance Analysis time, memory usage
#254 opened Jun 16, 2021 by vogler
10
non-terminating benchmarks bug performance Analysis time, memory usage
#205 opened Apr 26, 2021 by vogler
3
ProTip! What’s not been updated in a month: updated:<2025-04-05.