Abstract interpreter for real-world application programs