DataFlow Analyzer