Skip to content

Pull requests: goblint/analyzer

New pull request New
32 Open 917 Closed
32 Open 917 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Change Machdep based on SV-COMP architecture feature sv-comp SV-COMP (analyses, results), witnesses unsound
#1574 opened Sep 24, 2024 by sim642 Loading…
2 of 4 tasks
SV-COMP 2025
2
@sim642
Improve use of Lattice.BotValue and Lattice.TopValue cleanup Refactoring, clean-up
#1573 opened Sep 23, 2024 by sim642 Loading… v2.5.0
1
Make write+lock privatization read_global more precise using semi-distributive property precision
#1568 opened Sep 13, 2024 by sim642 Loading…
Improve history thread ID may_create feature performance Analysis time, memory usage precision relational Relational analyses (Apron, affeq, lin2var)
#1561 opened Aug 14, 2024 by sim642 Loading…
5 of 6 tasks
@sim642
5
Optimize none base privatization, add eager Vojdani privatization benchmarking performance Analysis time, memory usage
#1552 opened Aug 2, 2024 by sim642 • Draft
1
Unvirtualize goblint.build-info and goblint.sites cleanup Refactoring, clean-up setup Dependencies, CI, releasing
#1549 opened Jul 24, 2024 by sim642 Loading…
1 task
v2.5.0
1
Refactor writing to pointers bug cleanup Refactoring, clean-up
#1531 opened Jul 1, 2024 by karoliineh • Draft
1 task
2
2
Support imaxabs for SV-COMP feature precision sv-comp SV-COMP (analyses, results), witnesses
#1519 opened Jun 20, 2024 by sim642 • Draft
1 task
SV-COMP 2025
1
Remove restriction that no loop unrolling is done when breaks are in the loop precision sv-comp SV-COMP (analyses, results), witnesses
#1518 opened Jun 19, 2024 by karoliineh • Draft SV-COMP 2025
Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop bug precision sv-comp SV-COMP (analyses, results), witnesses
#1516 opened Jun 18, 2024 by karoliineh • Draft SV-COMP 2025
3
C-2PO: Thesis About a Weakly-Relational Pointer Analysis feature relational Relational analyses (Apron, affeq, lin2var) student-job
#1485 opened May 24, 2024 by reb-ddm Loading…
62
Implement lookahead widening feature precision student-job
#1484 opened May 24, 2024 by RonaldJudin • Draft
4 of 7 tasks
@sim642
Implement delayed widening feature precision student-job
#1483 opened May 24, 2024 by RonaldJudin Loading…
2 tasks done
@sim642
5
Handle operations on the addresses of non-array types bug
#1480 opened May 23, 2024 by karoliineh Loading…
1
3
Make meet in AddressDomain more precise bug precision
#1468 opened May 15, 2024 by michael-schwarz Loading…
1
10
Making Affine-equalities Sparse performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
#1460 opened May 14, 2024 by DrMichaelPetter • Draft
1
@DrMichaelPetter
Switch from BatEnum to Seq cleanup Refactoring, clean-up
#1443 opened May 3, 2024 by karoliineh Loading…
1 of 3 tasks
1
Widening gas feature precision student-job
#1442 opened May 3, 2024 by Red-Panda64 Loading…
1
25
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
7
Tracking Benchmark Changes for Thesis benchmarking in progress
#1417 opened Apr 17, 2024 by michael-schwarz • Draft
1
4
Document implementation-defined behavior following GCC documentation Documentation, comments
#1415 opened Apr 17, 2024 by michael-schwarz Loading…
6
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables feature sv-comp SV-COMP (analyses, results), witnesses
#1394 opened Mar 14, 2024 by sim642 Loading…
13 of 14 tasks
v2.5.0
@sim642
19
Add semantic loop unrolling analysis cleanup Refactoring, clean-up feature precision sv-comp SV-COMP (analyses, results), witnesses
#1370 opened Feb 22, 2024 by sim642 • Draft
3 tasks
SV-COMP 2025
2
Enhance detection of buffer overflows by introducing variable for length of array/blob feature precision relational Relational analyses (Apron, affeq, lin2var) student-job
#1330 opened Jan 16, 2024 by FungOliver • Draft
3 of 4 tasks
SV-COMP 2025
@jerhard
94
Support for inline assembler & goto instructions in inline assembler feature pr-dependency Depends or builds on another PR, which should be merged before practical-course Practical Course at TUM student-job
#1326 opened Jan 11, 2024 by WernerDrasche Loading… v2.5.0
31
ProTip! no:milestone will show everything without a milestone.