an in memory "database" for facts about programs which is used as a hub for program analysis consumers and producers