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