Member predicate ImplicitFieldReadNode::shouldImplicitlyReadAllFields
Holds if the node n
should implicitly read from all nested content in a taint-tracking context.
predicate shouldImplicitlyReadAllFields(Node n)
Holds if the node n
should implicitly read from all nested content in a taint-tracking context.
predicate shouldImplicitlyReadAllFields(Node n)