Predicate DangerousUseOfCin::nextPotentiallyDangerousInput

predicate nextPotentiallyDangerousInput(ControlFlowNode cfn, PotentiallyDangerousInput next, Variable streamVariable)