From: John Fastabend [mailto:john.fastabend@gmail.com] Sent: Wednesday, June 22, 2022 12:36 AM Roberto Sassu wrote:
Ensure that the verifier detects the attempt of acquiring a reference of a key through the helper bpf_lookup_user_key(), without releasing that reference with bpf_key_put(), and refuses to load the program.
Signed-off-by: Roberto Sassu roberto.sassu@huawei.com
Any reason not to add these to ./verifier/ref_tracking.c tests? Seems it might be easier to follow there and test both good/bad cases.
Oh, I didn't know about it. Will move the test.
Thanks
Roberto
HUAWEI TECHNOLOGIES Duesseldorf GmbH, HRB 56063 Managing Director: Li Peng, Yang Xi, Li He