CodeQL library for C#
codeql/csharp-all 2.0.1-dev (changelog, source)
Search

Module signature MakeImplCommon::TypeFlowInput

Import path

import codeql.dataflow.internal.DataFlowImplCommon

Predicates

dataFlowNonCallEntry

Holds if data flow enters c with call context cc without using a call edge.

dataFlowTakenCallEdgeIn

Holds if the edge is followed in data flow in the direction call to c and the call context cc.

dataFlowTakenCallEdgeOut

Holds if the edge is followed in data flow in the direction c to call.

enableTypeFlow
relevantCallEdgeIn

Holds if the edge is possibly needed in the direction call to c.

relevantCallEdgeOut

Holds if the edge is possibly needed in the direction c to call.