Whole-program analysis