Probabilistic data flow analysis: a linear equational approach