CodeQL library for C/C++
codeql/cpp-all 1.1.2-dev (changelog, source)
Search

Module BarrierGuard

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 semmle.code.cpp.ir.dataflow.internal.DataFlowUtil

Predicates

getABarrierNode

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

getAnIndirectBarrierNode

Gets an indirect expression node that is safely guarded by the given guard check.

getAnIndirectBarrierNode

Gets an indirect expression node with indirection index indirectionIndex that is safely guarded by the given guard check.

Parameters

guardChecksguardChecksSig