CodeQL library for C#

Member predicate LibraryTypeDataFlow::requiresAccessPath

Holds if the access path obtained by concatenating head onto tail is needed for a summary specified by callableFlow().

This predicate is needed for QL technical reasons only (the IPA type used to represent access paths needs to be bounded).

predicate requiresAccessPath(Content head, AccessPath tail)