Data Flow Analysis Framework