codeql/cpp-all
3.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import codeql.ssa.Ssa
Holds if the guard g validates the expression e upon evaluating to branch, blocking flow in the given state.
g
e
branch
state