Version 1.25.0
For other CodeQL resources, including tutorials and examples, see Learning CodeQL
.
Holds if field f may be read within the body of this callable.
f
predicate reads(Field f)