Redirecting to Data-flow analysis