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

Member predicate RangeSsaDefinition :: isGuardPhi

If this definition is a phi node corresponding to a guard, then return the variable guarded, the variable access and the guard.

predicate isGuardPhi ( StackVariable v , VariableAccess va , Expr guard , boolean branch )