Реклама

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

Купить номер с этой статьей в PDF