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

Predicate signature Make::DataFlowIntegrationInputSig::allowFlowIntoUncertainDef

Holds if flow should be allowed into uncertain SSA definition def from previous definitions or reads.

signature predicate allowFlowIntoUncertainDef(UncertainWriteDefinition def)