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

Module Make::DataFlowIntegration::BarrierGuardWithState

Provides a set of barrier nodes for a guard that validates an expression.

This is expected to be used in isBarrier/isSanitizer definitions in data flow and taint tracking.

Import path

import codeql.ssa.Ssa

Predicates

getABarrierNode

Gets a node that is safely guarded by the given guard check.

Parameters

StateStateSig
guardChecksguardChecksSig