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)