tree 67b8438a2186be1ad823e6667959b85eb457a381
parent 6789eee65a2cf5590641987f3c6ac2bcd4a37f8b
author Alan Jowett <alanjo@microsoft.com> 1716266739 -0700
committer GitHub <noreply@github.com> 1716266739 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJmTCbzCRC1aQ7uu5UhlAAA7ngQAEkIr6vi35fuOf5qqQvVhg/0
 Y9N4D1j3XXmtPoKq+wTSpkUjTlpdimeM5/H/vPzhoYGrhni+YKMjGHXnO2jIpz2I
 clkGOIj3HO0BGTNSaC4L+cF5yjufoMr5xecFkIn2Y2qfAd18IIJCVeyC/3lZymma
 pGSW0Tp2AjfPe4Zxps1EpRpTUxCIUajaeN55G6G2ZuBl+YDEB1MTbreZtwdA2OB3
 P8mIHViWhP11rOs2Qr4ijEgQ6HK5QAwBlbKSYQwQSJ1aA+PeHMgRppvpJL3RaMpg
 hf2Q4/YL6mmEocJuIrSSCiqnuHM3MRpa0HJM7Uhr6Vu3T01XAwE0ICVvkIgY3JP4
 ZX//U0o5U/RGQ5odXN3cxN+8suQ06gRval1jAYO94ILnM9a7RbjxsQtn1YQLOLCw
 kOwLdrxZGUGco8hIcloUdqNpMqlDlXB7vuNuhcefPYLVmPT0ctJehd678vbzyzqG
 QvL0i0y0FAHzGoCFJQ/ggHmVXXTSqZEFXrAgcUSbuev1IldlqivWQXc3QFO5wJQ4
 SDROZdPT0aT6J+3mQ/wNrfMNs/61uCsU+Gdbq+f/4yDfnINfaNt2TRfe0tBE1ffv
 EIz+Rv5mNj+RFDDJ1iJY8BdSvbOuDKaKfL8YkqwCwjVc3tQn3uiEgwJqfx4ewi5b
 7cijyTclSOe7xrweI85F
 =Cmru
 -----END PGP SIGNATURE-----
 

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>