Data-Flow Analysis