Under a
United States Department of Homeland Security contract in 2006, the tool was used to examine over 150 open source applications for bugs; 6000 bugs found by the scan were fixed across 53 projects. The
National Highway Traffic Safety Administration used the tool in its 2010-2011 investigation into reports of
sudden unintended acceleration in Toyota vehicles. The tool was used by
CERN on the software employed in the
Large Hadron Collider and in the
NASA Jet Propulsion Laboratory during the flight software development of the
Mars rover Curiosity. == References ==