Очень интересно, как именно они проводят соответствие между игровыми уровнями и участками программного кода (сетевыми протоколами? стейт-машинами? чем?)
Очень странное решение. Как мне кажется со стороны задача по переводу возможностей и механизмов работы ПО в игровой вид, с сохранением логики — более сложная чем сам анализ кода.
Не совсем, достаточно построить конечный автомат который из кода будет генерить квесты, фактически получается некий статический анализатор с возможностями построения графов исполнения этого кода.
DARPA планирует исправлять уязвимости в критически важном ПО при помощи геймеров