qtil
advanced-security/qtil-python 0.0.3
Search

Module Make::DataFlowIntegration::WithState

Import path

import codeql.ssa.Ssa

Predicate signatures

guardChecksSig

Holds if the guard g validates the expression e upon evaluating to branch, blocking flow in the given state.

Parameters