Predicate Make::SsaDefReachesNew::uncertainWriteDefinitionInput
Import path
import codeql.ssa.Ssapredicate uncertainWriteDefinitionInput(UncertainWriteDefinition def, Definition inp)import codeql.ssa.Ssapredicate uncertainWriteDefinitionInput(UncertainWriteDefinition def, Definition inp)