Finding Bugs is Only the Beginning
I sometimes describe our main commercial product, CodeSonar, as a “defect detection tool.” While this is a convenient...
The Cyber Grand Challenge
Introduction
Several of us at GrammaTech, along with many talented people from UVA, recently participated in DARPA's Cyber...
Understanding DARPA's Cyber Grand Challenge: Laundromat Edition
Team TechX won second place in the DARPA Cyber Grand Challenge (CGC) last week. TechX is a collaboration between GrammaTech and...