CodeQL library for C/C++
Search

Predicate callDereferences

Holds if the call fc will dereference argument i.

Import path

import cpp
predicate callDereferences(FunctionCall fc, int i)