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

Member predicate DataFlow::Configuration::allowImplicitRead

Holds if an arbitrary number of implicit read steps of content c may be taken at node.

predicate allowImplicitRead(Node node, ContentSet c)