CodeQL library for C/C++

Member predicate MemoryOperand::hasMayReadMemoryAccess

Holds if the memory access performed by this operand will not always read from every bit in the memory location. This is most commonly used for memory accesses that may or may not actually occur depending on runtime state (for example, the write side effect of an output parameter that is not written to on all paths), or for accesses where the memory location is a conservative estimate of the memory that might actually be accessed at runtime (for example, the global side effects of a function call).

predicate hasMayReadMemoryAccess()