Dynamic data-flow analysis