CodeQL library for C/C++
codeql/cpp-all 0.12.9 (changelog, source)
Search

Member predicate SideEffectFunction::hasSpecificReadSideEffect

Holds if the value pointed to by the parameter at index i is read from. buffer is true if the read may be at an offset.

predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer)