CodeQL library for GitHub Actions
codeql/actions-all 0.4.12 (changelog, source)
Search

Module signature InputSig

Import path

import codeql.dataflow.internal.DataFlowImplConsistency

Predicates

argHasPostUpdateExclude

Holds if n should be excluded from the consistency test argHasPostUpdate.

identityLocalStepExclude

Holds if n should be excluded from the consistency test identityLocalStep.

missingArgumentCallExclude

Holds if arg should be excluded from the consistency test missingArgumentCall.

missingLocationExclude

Holds if n should be excluded from the consistency test missingLocation.

multipleArgumentCallExclude

Holds if (arg, call) should be excluded from the consistency test multipleArgumentCall.

postHasUniquePreExclude

Holds if n should be excluded from the consistency test postHasUniquePre.

postWithInFlowExclude

Holds if n should be excluded from the consistency test postWithInFlow.

reverseReadExclude

Holds if n should be excluded from the consistency test reverseRead.

uniqueCallEnclosingCallableExclude

Holds if call should be excluded from the consistency test uniqueCallEnclosingCallable.

uniqueEnclosingCallableExclude

Holds if n should be excluded from the consistency test uniqueEnclosingCallable.

uniqueNodeLocationExclude

Holds if n should be excluded from the consistency test uniqueNodeLocation.

uniqueParameterNodeAtPositionExclude

Holds if (c, pos, p) should be excluded from the consistency test uniqueParameterNodeAtPosition.

uniqueParameterNodePositionExclude

Holds if (c, pos, p) should be excluded from the consistency test uniqueParameterNodePosition.

uniquePostUpdateExclude

Holds if n should be excluded from the consistency test uniquePostUpdate.

uniqueTypeExclude

Holds if n should be excluded from the consistency test uniqueType.

viableImplInCallContextTooLargeExclude

Holds if (call, ctx) should be excluded from the consistency test viableImplInCallContextTooLargeExclude.

Parameters