ebpf-verifier icon indicating copy to clipboard operation
ebpf-verifier copied to clipboard
verified publisher icon vbpf

Handle unsigned comparison more precisely

Open elazarg opened this issue 7 years ago • 2 comments

Communicate to crab the precise signedness of checks in e.g. branching.

elazarg avatar Jul 26 '18 05:07 elazarg

added minimal support for IMM.

elazarg avatar Aug 27 '18 00:08 elazarg

We are sound here - just ignoring unsigned comparison, taking both branches.

elazarg avatar Apr 01 '19 22:04 elazarg

Fixed

elazarg avatar Sep 23 '23 20:09 elazarg