Predicate canValueFlow
Holds if a value can flow directly from one expr to another.
Import path
import semmle.code.cpp.commons.StringAnalysispredicate canValueFlow(Expr fromExpr, Expr toExpr)Holds if a value can flow directly from one expr to another.
import semmle.code.cpp.commons.StringAnalysispredicate canValueFlow(Expr fromExpr, Expr toExpr)