В DARPA разработали игры, которые помогают специалистам находить уязвимости в строках кода

Просматривать миллионы строк кода в поисках ошибки или уязвимости — сложный и неблагодарный труд. Но агентство по перспективным исследовательским проектам США (DARPA) решило привлечь к делу волонтёров, специально для которых весь процесс превратили в игру.

Игры DARPA

Новая краудсорсинговая инициатива DARPA Formal Verification предполагает использование труда добровольцев для обнаружения уязвимостей в коде ПО. Для этого агентство создало пять онлайновых игр и одну для iPad.

Вот как они работают: игры сделаны таким образом, что когда пользователь разгадывает загадку для того, чтобы перейти на следующий уровень, они, по-настоящему, генерируют аннотации к программному коду и выводят математические доказательства, которые могут доказать наличие или отсутствие ошибки в ПО, написанном на C или Java.

DARPA финансировала разработку этих игр. Если подвести итог, главное в них — разрешить действительно сложные математические проблемы в лёгкой игровой форме. Результаты, полученные с помощью них, помогут исследователям агентства обнаружить уязвимости в строчках кода, которым нужно пристальное внимание.





!

Если для Вас конкретно эта новость оказалась важной или интересной - пожалуйста, поделитесь ею в своей любимой социальной сети с помощью кнопок, расположенных под этим текстом. Это поможет нам в будущем делать более качественную подборку материалов, исходя из Ваших потребностей\интересов.




Коды для вставки в блог\форум

blog comments powered by Disqus


Вспомним другие новости из этого раздела?


Игры

←+Ctrl+→

Интересные новости
Google представила сервис игрового стриминга StadiaGoogle представила сервис игрового стриминга Stadia
Консоль Atari VCS перейдёт на AMD Ryzen и задержится до конца 2019 годаКонсоль Atari VCS перейдёт на AMD Ryzen и задержится до конца 2019 года
Слухи: Xbox One S All-Digital без дисковода поступит в продажу 7 маяСлухи: Xbox One S All-Digital без дисковода поступит в продажу 7 мая
Nintendo выпустит две новые консолиNintendo выпустит две новые консоли
Прототип PlayStation Vita продают за $20 000Прототип PlayStation Vita продают за $20 000
Блок рекламы


Похожие новости

Доказано: мощные компьютеры помогают победить в Apex Legends, Fortnite и PUBGДоказано: мощные компьютеры помогают победить в Apex Legends, Fortnite и PUBG
18-летний парень убил себя из-за отказа родителей купить ему смартфон для игры в PUBG18-летний парень убил себя из-за отказа родителей купить ему смартфон для игры в PUBG
Как эволюционировали игры Fallout: видеоКак эволюционировали игры Fallout: видео
PlayStation 5 будет поддерживать игры с консолей предыдущих поколенийPlayStation 5 будет поддерживать игры с консолей предыдущих поколений
Google позволит запускать AAA-игры прямо в ChromeGoogle позволит запускать AAA-игры прямо в Chrome
Почти час геймплея Cyberpunk 2077, новой игры от CD Projekt REDПочти час геймплея Cyberpunk 2077, новой игры от CD Projekt RED
Valve научит Linux запускать Windows-игрыValve научит Linux запускать Windows-игры
Автомобили Tesla получат игры Atari, в которые можно играть с помощью руляАвтомобили Tesla получат игры Atari, в которые можно играть с помощью руля
Энтузиаст потратил 1200 часов на воссоздание исходного кода первой DiabloЭнтузиаст потратил 1200 часов на воссоздание исходного кода первой Diablo
Valve позволит запускать игры из Steam на смартфонахValve позволит запускать игры из Steam на смартфонах
Последние новости

Подгружаем последние новости