This Bot Hunts Software Bugs for the Pentagon

The tool called Mayhem probes software to find unknown security flaws, and is developed by a startup spun out of Carnegie Mellon University called ForAllSecure.