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

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)