Predicate Make :: uncertainWriteDefinitionInput
NB: If this predicate is exposed, it should be cached.
Holds if inp
is an immediately preceding definition of uncertain definition
def
. Since def
is uncertain, the value from the preceding definition might
still be valid.
Import path
import codeql.ssa.Ssa
predicate
uncertainWriteDefinitionInput
(
UncertainWriteDefinition
def
,
Definition
inp
)