Программное обеспечение Intel Inspector XE является простым инструментом проверки ошибок памяти и многопоточности для приложений с последовательным и параллельным кодом на базе Windows и Linux. Средство анализа правильности кода Intel Inspector XE находит не только ошибки памяти (доступ к неинициализированной памяти, утечки и т. д.), но и проблемы, вызванные взаимодействием потоков (гонки данных, взаимоблокировка и т. д.), как существующие, так и потенциальные.

Intel Inspector XE 2013 выполняет динамический анализ исполняемых процессов (а не исходного кода), проверяя, что происходит в приложении, как оно выделяет и освобождает память, формирует потоки, использует объекты синхронизации и т. п. После этого администратор получает список найденных проблем. Intel Inspector XE выпускается для операционных систем Windows (свободно интегрируется в Microsoft Visual Studio) и Linux.

В Intel Inspector XE применяется уникальный подход к анализу всех инструкций чтения/записи памяти и их адресов на уровне бинарного кода. В основе инструмента анализа лежит средство Pin – Dynamic Binary Instrumentation Tool, которое внедряется в анализируемый процесс непосредственно перед стартом и позволяет отслеживать выполнение практически любых инструкций, предоставляет доступ к содержимому регистров, контексту выполнения программы, символьной и отладочной информации. В зависимости от целей и задач анализа, можно сформировать несколько типов Pintool-инструментов, которые настроены на сбор определенного типа данных в исполняемой программе.

Основные возможности Intel Inspector XE:

• Поиск ошибок памяти и многопоточности.


• Отсутствие необходимости в специализированных конструкциях, доступ к двух интерфейсам: графическому пользовательскому и к командной строке.


• Обнаружение скрытых ошибок в сложных параллельных программах.


• Поддержка проверки кода C, C++, C#, F# и Fortran.


• Выбор из трех уровней анализа, в зависимости от того, какая скорость и какое качество проверки требуются.


• Интеграция в отладчики Visual Studio, GDB и IDB для мгновенного исправления найденных проблем.


• Анализ Heap Growth для выявления причин непрерывного роста нагрузки на память во время работы приложения.


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


• Изоляция ложных срабатываний при поиске ошибок, чтобы они не отображались в списке.


• Фильтрация списков ошибок по приоритету, типу, состоянию, модулю и т. п.


• Коллективная работа – генерируемые программой списки могут быть доступны всем членам команды.


• Настройка того, какую память следует исключать из анализа.


• Возможность использования в анализе ПО для продуктов Intel Xeon Phi.


• Анализ гибридных MPI и OpenMP-приложений на предмет ошибок памяти.