Data-flow analysis