Iterative-free program analysis