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

192 Open 432 Closed
192 Open 432 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

Handle Lattice.BotValue in Lattice.LiftBot and similar cleanup Refactoring, clean-up
#1572 opened Sep 23, 2024 by sim642 v2.5.0
1
@sim642
Consider submitting C2PO tests to SV-COMP question sv-comp SV-COMP (analyses, results), witnesses
#1571 opened Sep 22, 2024 by michael-schwarz
Refine using YAML violation witnesses feature precision sv-comp SV-COMP (analyses, results), witnesses
#1567 opened Sep 10, 2024 by sim642
Avoid populating dep table in TD3 when non-incremental bug performance Analysis time, memory usage
#1566 opened Sep 6, 2024 by sim642
Spurious overflow warnings due to partitioned arrays in globals bug precision sv-comp SV-COMP (analyses, results), witnesses
#1565 opened Sep 6, 2024 by sim642
Parsing Error preprocessing C preprocessing question
#1564 opened Sep 5, 2024 by pvouzis
11
Preprocessing not compatible with Linux arm64 bug preprocessing C preprocessing setup Dependencies, CI, releasing sv-comp SV-COMP (analyses, results), witnesses
#1556 opened Aug 7, 2024 by sim642
Clean up library function spawning in base analysis cleanup Refactoring, clean-up
#1553 opened Aug 5, 2024 by sim642
Timing for multithreaded use bug parallel Parallel Goblint
#1550 opened Aug 1, 2024 by FelixKrayer
2
Verified Polyhedra Library support relational Relational analyses (Apron, affeq, lin2var) student-job
#1548 opened Jul 19, 2024 by sim642
YAML: Relational invariants about escaped variables are incorrect (due to Apron->CIL conversion not considering escaping) bug sv-comp SV-COMP (analyses, results), witnesses unsound
#1547 opened Jul 17, 2024 by michael-schwarz
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
Apron: Invariants for variables of type unsigned long wrong bug relational Relational analyses (Apron, affeq, lin2var) sv-comp SV-COMP (analyses, results), witnesses unsound
#1542 opened Jul 10, 2024 by michael-schwarz
12
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
Emit invariants for static global variables bug relational Relational analyses (Apron, affeq, lin2var) sv-comp SV-COMP (analyses, results), witnesses
#1538 opened Jul 7, 2024 by michael-schwarz
1
Investigate instances of fold_right cleanup Refactoring, clean-up good first issue
#1536 opened Jul 6, 2024 by michael-schwarz
Relational Analyses: Deep invalidation for library functions havocs all variables (also those that don't have their address taken) bug precision relational Relational analyses (Apron, affeq, lin2var)
#1535 opened Jul 6, 2024 by michael-schwarz
1
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
JSON5 conf files feature usability
#1524 opened Jun 24, 2024 by sim642
Spurious segfaults in sv-benchmarks runs bug sv-comp SV-COMP (analyses, results), witnesses type-safety Type-safety improvements
#1520 opened Jun 21, 2024 by sim642 SV-COMP 2025
@sim642
8
Printing of Apron values very slow benchmarking performance Analysis time, memory usage
#1513 opened Jun 15, 2024 by michael-schwarz
14
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
SV-Comp incorrect result in no-overflow tasks bug sv-comp SV-COMP (analyses, results), witnesses unsound
#1501 opened Jun 4, 2024 by DrMichaelPetter SV-COMP 2025
1
Strange overflow behaviour bug precision relational Relational analyses (Apron, affeq, lin2var)
#1499 opened Jun 3, 2024 by DrMichaelPetter
4
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
ProTip! Add no:assignee to see everything that’s not assigned.