data-flow analysis description