Analyzing all programs...