Predicate TaintTracking::TaintFlowImplementation::tainted_exception_capture

predicate tainted_exception_capture(ExceptionCapture def, CallContext context, TaintedNode fromnode)