AddressSanitizer: инструмент обнаружения ошибок адресации

На семинаре присутствовало 49 специалистов.

Доклад К.Серебряного (Google) был посвящен новому инструменту поиска ошибок адресации (AddressSanitizer), который обнаруживает выход за границу массива и использование удаленной памяти.

AddressSanitizer основан на инструментации времени компиляции (используется LLVM), фиксированном отображении адресов метаданных и аппаратных прерываниях. Важным преимуществом AddressSanitizer-а является низкое замедление роботы тестируемой программы (около 2-х раз).

При обсуждении доклада были затронуты практические аспекты применения инструмента, важные для разработчиков ПО в ЗАО "МЦСТ", в том числе, тестирование с его помощью мультимедийных библиотек, использующих намеренный выход за границу, тестирование встраиваемого ассемблера и сторонних библиотек, мотивация выбора LLVM и другие.