Ошибки в ПО военных систем выявляются по-прежнему в больших количествах, несмотря на хорошо развитые методологии программной инженерии. Оригинальный софт удается создавать достаточно надежным, но при формировании крупных систем используются готовые компоненты сторонних организаций, которые разрабатывались подчас довольно неуклюже, нередко по цепочке мелких подрядчиков, и обычно таят немало скрытых и непротестированных уязвимостей. Агентство передовых исследований США в сфере разведки IARPA выделило 12,9 млн. долл. группе компаний и университетов во главе с фирмой GrammaTech на создание технологии, которая избавит ПО от подобных багов. В ее основу будут заложены средства автоматического анализа кода, визуализации его структуры и блокирования подозрительных частей — возможно, по аналогии с антивирусными программами.