For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if the instruction’s read memory access is a may read, as opposed to a must read.
may
must
predicate hasMayReadMemoryAccess()