-
Notifications
You must be signed in to change notification settings - Fork 52
Pull requests: vbpf/prevail
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Match subprogram relocations to their program by identity (heap OOB write)
#1161
opened Jul 2, 2026 by
elazarg
Collaborator
Loading…
Preserve boolean AND non-null implications
#1157
opened Jun 28, 2026 by
elazarg
Collaborator
Loading…
Fix sign-extend load soundness and verify pre-call pointer bound checks
#1153
opened Jun 27, 2026 by
alexforster
Contributor
Loading…
Fix stale svalue leak in
assign_valid_ptr causing false PASS
#1149
opened Jun 23, 2026 by
saxena-anurag
Contributor
Loading…
C++23: Replace variant<T, string> with expected
#1074
opened Apr 15, 2026 by
elazarg
Collaborator
Loading…
ProTip!
Adding no:label will show everything without a label.