Predicate stringifiedStackFlowsExternally
Holds if stackTrace
is a stringified stack trace which flows to an external sink.
Import path
import semmle.code.java.security.StackTraceExposureQuery
predicate stringifiedStackFlowsExternally(Node externalExpr, Expr stackTrace)