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
13 Open 73 Closed
13 Open 73 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Quickcheck int domain abstract operation properties precision testing
#1609 opened Oct 30, 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
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
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
CI considers [Info] messages to be a violation of //NOWARN bug setup Dependencies, CI, releasing testing
#1151 opened Sep 6, 2023 by michael-schwarz
4
Incremental analysis crashes when patch introduces only call to longjmp question testing
#1106 opened Jul 11, 2023 by J2000A
4
Thread analysis crashes with musl bug good first issue setup Dependencies, CI, releasing testing
#825 opened Aug 18, 2022 by sim642
2 tasks
1
Fix regression tests with fortify source bug good first issue testing
#706 opened Apr 27, 2022 by sim642
9 tasks
1
regression2sv-benchmarks improvements benchmarking feature student-job sv-comp SV-COMP (analyses, results), witnesses testing
#383 opened Oct 11, 2021 by sim642
7 tasks
better regression testing testing
#288 opened Jul 14, 2021 by vogler
5
support multiple configurations per regression test testing
#243 opened May 28, 2021 by vogler
2
Make assertion code consistent and remove asserting unknown testing
#110 opened Oct 8, 2020 by vesalvojdani
@vesalvojdani
6
Fuzzing of domains student-job testing
#85 opened Jun 17, 2020 by sim642
ProTip! What’s not been updated in a month: updated:<2025-04-22.