Intel Inspector XE for Windows OS

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

Intel Inspector XE выполняет динамический анализ исполняемых процессов (а не исходного кода), проверяя, что происходит в приложении, как оно выделяет и освобождает память, формирует потоки, использует объекты синхронизации и т. п. После этого администратор получает список найденных проблем. 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-приложений на предмет ошибок памяти.