Skip to content

Pull requests: goblint/analyzer

New pull request New
39 Open 873 Closed
39 Open 873 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Fix Apron compare function usage dependencies Pull requests that update a dependency file relational Relational analyses (Apron, affeq, lin2var) setup deps, CI, release type-safety
#1506 opened Jun 8, 2024 by sim642 • Draft v2.4.0
@sim642
Simplify some Option.get usages cleanup
#1505 opened Jun 6, 2024 by karoliineh Loading…
Remove some Option.is_some usages cleanup
#1504 opened Jun 5, 2024 by sim642 Loading…
1
Continue refactoring of must-locksets to use definite mvals instead of addresses cleanup type-safety
#1503 opened Jun 4, 2024 by sim642 Loading… v2.4.0
Narrowing from widening thresholds feature precision student-job
#1502 opened Jun 4, 2024 by Red-Panda64 Loading…
7
Improve output for component of blob indicating whether it was created with malloc or calloc cleanup usability
#1497 opened Jun 3, 2024 by karoliineh Loading…
1
Unpin ppx_deriving dependencies Pull requests that update a dependency file setup deps, CI, release
#1496 opened Jun 3, 2024 by sim642 Loading…
1 task
v2.4.0
make cil_exp_of_linexpr1 work with fractional expressions bug in progress relational Relational analyses (Apron, affeq, lin2var)
#1493 opened May 28, 2024 by DrMichaelPetter • Draft
1
@DrMichaelPetter
2
Fix mutex-meet for malloc after thread creation bug relational Relational analyses (Apron, affeq, lin2var) unsound
#1492 opened May 27, 2024 by michael-schwarz Loading…
1 of 2 tasks
2
2
[WIP] Thesis Weakly-Relational Pointer Analysis feature relational Relational analyses (Apron, affeq, lin2var) student-job
#1485 opened May 24, 2024 by reb-ddm • Draft
8
Implement lookahead widening feature precision student-job
#1484 opened May 24, 2024 by RonaldJudin • Draft
3 of 5 tasks
@sim642
Implement delayed widening feature precision student-job
#1483 opened May 24, 2024 by RonaldJudin Loading…
2 tasks done
@sim642
3
Handle operations on the addresses of non-array types bug
#1480 opened May 23, 2024 by karoliineh Loading…
1
1
Make meet in AddressDomain more precise bug precision
#1468 opened May 15, 2024 by michael-schwarz Loading…
1
10
Extending Linear Two-Variable Equalities with Coefficients precision relational Relational analyses (Apron, affeq, lin2var)
#1466 opened May 15, 2024 by DrMichaelPetter Loading…
@DrMichaelPetter
21
Making Affine-equalities Sparse performance time, memory relational Relational analyses (Apron, affeq, lin2var)
#1460 opened May 14, 2024 by DrMichaelPetter • Draft
1
@DrMichaelPetter
Switch from BatEnum to Seq cleanup
#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 type-safety
#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
3
Document implementation-defined behavior following GCC documentation docs, 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
#1394 opened Mar 14, 2024 by sim642 Loading…
13 of 14 tasks
@sim642
Add semantic loop unrolling analysis cleanup feature precision sv-comp
#1370 opened Feb 22, 2024 by sim642 • Draft
3 tasks
SV-COMP 2025
Add disjunctive completion of Apron domains feature precision relational Relational analyses (Apron, affeq, lin2var)
#1339 opened Jan 26, 2024 by sim642 • Draft
@sim642
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
92
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.