Updated program analysis.