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@xxxxxxxxxx> > --- 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.