CodeQL library for C/C++
Search

Member predicate StrcatFunction::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)