theory A kind of program analysis that uses information from

all the call sites of a function or procedure.