Alan-Jowett / ubpf / 9177049552

79%

master: 92%

Build Type

push

github

Committed by web-flow

Commit Message

Reject BPF program if uninitialized stack or registers are accessed during interpret path (#445)

* Reject BPF program if uninit stack is accessed
Reject programs if registers are used before intialized
Make undefined behavior check optional

Signed-off-by: Alan Jowett <alanjo@microsoft.com>

* Apply suggestions from code review

Co-authored-by: Will Hawkins <whh8b@obs.cr>
Signed-off-by: Alan Jowett <alanjo@microsoft.com>

* PR feedback

Signed-off-by: Alan Jowett <alanjo@microsoft.com>

---------

Signed-off-by: Alan Jowett <alanjo@microsoft.com>
Co-authored-by: Will Hawkins <whh8b@obs.cr>

Run Details

24 of 114 new or added lines in 1 file covered. (21.05%)

7 existing lines in 1 file now uncovered.

6223 of 7658 relevant lines covered (81.26%)

375590.84 hits per line