Probabilistic Program Analysis