Ученые Университета Карнеги-Меллон разрабатывают язык программирования, который предназначен для защиты компьютеров и веб-сайтов от уязвимостей в строчках кода.