Traveling through Dakota: Experiences with an object-oriented program analysis systemMichael HindAnthony Pioli2000TOOLS 2000