Analysis of Actual Programs