CodeQL library for C#

codeql/csharp-all 3.1.2-dev (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

NodeRegion

Module signature InputSig

Predicates

accessPathLimit

additionalLambdaFlowStep

allowParameterReturnInSelf

compatibleTypes

forceHighPrecision

getAdditionalFlowIntoCallNodeTerm

getContentApprox

getSecondLevelScope

golangSpecificParamArgFilter

ignoreFieldFlowBranchLimit

isParameterNode

isUnreachableInCall

knownSourceModel

localMustFlowStep

mayBenefitFromCallContext

neverSkipInPathGraph

nodeGetEnclosingCallable

simpleLocalFlowStep

typeStrongerThan

validParameterAliasStep

viableImplInCallContext

Types

ArgumentPosition

DataFlowCallable

DataFlowSecondLevelScope

ParameterPosition

Parameters

Location

Type signature InputSig::NodeRegion

A set of Nodes in a DataFlowCallable.

Copyright 2024 GitHub Software UK Ltd.Privacy Statement