A kind of program analysis that uses information from all the call sites of a function or procedure.