DARPAВ DARPA, ПОХОЖЕ, НАШЛИ СПОСОБ упростить процесс поиска уязвимостей в программном обеспечении для Пентагона: в агентстве создали сайт с набором компьютерных игр-головоломок, решая которые вы на самом деле решаете задачи формальной верификации кода. Как объясняют в DARPA, определенные виды брешей, например переполнение буфера и уязвимости, вызывающие подъем уровня привилегий, «особенно хорошо проецируются на головоломки». В одной из игр, например, вы исследуете тропический остров, каталогизируя встречающиеся вам по пути неизвестные растения, которые в реальности являются воплощениями фрагментов кода.