наверх

Главная, Новости, № 03 2015   704 прочтения

В МТИ автоматизировали поиск ошибок переполнения целочисленного типа в двоичном коде

РЕКЛАМА

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

Исследователи из Массачусетского технологического института объявили о разработке автоматизированной системы поиска ошибок переполнения целочисленного типа, работающей значительно эффективнее других. Как сообщают авторы, в результате обработки системой пяти популярных программ с открытым кодом, в которых раньше были найдены три ошибки переполнения, помимо тех же удалось обнаружить еще 11.

Система получила название DIODE. Она осуществляет символьное выполнение программы, обходя ее граф и останавливаясь на потенциально опасных с точки зрения переполнения целого операциях, в частности, на резервированиях памяти. На этих точках путем анализа символьного выражения определяется, какое значение переменной вызовет переполнение. Если в программе предусмотрена проверка границ, и это значение не проходит ее, система вводит дополнительные ограничения в символьное выражение и определяет новое значение переменной, вызывающее переполнение. Этот процесс продолжается до тех пор, пока либо не найдется значение, удовлетворяющее условиям проверки, но все же вызывающее переполнение, либо пока не выяснится, что переполнение невозможно.

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


26.03.2015

Комментарии


Ранее

Автомобили Ford будут обновлять бортовые системы через облако Microsoft

До этого обновление осуществлялось с USB-накопителя. В Ford применяют гибридное облако: личная информация о заказчике — имя и адрес, пробег, сведения о местонахождении и исправности автомобиля — будут храниться в частной сети Ford, а общедоступное облако будет использоваться для доставки обновлений.

Oracle предлагает отраслевые системы управления портфелем проектов

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

Curiosity нашел на Марсе еще один ингредиент, необходимый для жизни

на поверхности Марса впервые был найден азот — в форме оксида. Он мог образоваться в ходе естественного разложения нитратов — солей, играющих важную роль в живых организмах, но в НАСА подчеркивают, что открытие не означает, что на Красной планете есть жизнь.

Еврокомиссия против ограничений доступа к сайтам по географическому положению

В некоторых случаях, отметил еврокомиссар по вопросам единого цифрового рынка Андрус Ансип, такое ограничение необходимо для выполнения местных законов, например, о запрещении азартных игр в Интернете, но в целом его следует отменить.

Spartan не будет поддерживать режим совместимости с Internet Explorer

Обновления безопасности для браузера IE11 будут выпускаться в течение как минимум восьми ближайших лет, но новых возможностей к нему добавляться уже не будет. Он останется практически в том же виде, что и в Windows 7 и Windows 8.1.
Средство массовой информации - www.osp.ru. Свидетельство о регистрации СМИ сетевого издания Эл.№ ФС77-62008 от 05 июня 2015 г. Выдано Федеральной службой по надзору в сфере связи, информационных технологий и массовых коммуникаций (Роскомнадзором)