Skip to content

Pull requests: goblint/analyzer

New pull request New
36 Open 877 Closed
36 Open 877 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

Introduce sync reason JoinCall & Limit sync at function start nodes bug precision relational Relational analyses (Apron, affeq, lin2var)
#1508 opened Jun 12, 2024 by michael-schwarz • Draft
2 tasks
1
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…
4
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
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
4 of 7 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
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
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.4.0
31
Improve trigonometric abstractions feature precision
#1272 opened Nov 23, 2023 by stilscher Loading… v2.4.0
20
Add support for CWE-562 feature
#1256 opened Nov 20, 2023 by mrstanb • Draft
@mrstanb
ProTip! Exclude everything labeled bug with -label:bug.