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
)