Использование PVS-Studio для проверки проектов, использующих Marmalade SDK

19 Мар 2012

Автор: Павел Еремеев

Marmalade SDK (ранее известный как AirPlaySDK) — это кроссплатформенный SDK, позволяющий разрабатывать мульти-платформенные приложения для мобильных платформ iOS, Android, Symbian и ряда других.

Marmalade SDK поддерживает разработку в среде Visual Studio посредством генерации стандартных проектных файлов Visual C++. Однако для компиляции своих исходных файлов такие сгенерированные проекты не вызывают Visual C++ компилятор cl.exe напрямую, а используют специальную обёртку (также с именем cl.exe), путь к которой прописывается в PATH через настройки среды (для версий Visual Studio до 2010) или в настройках проекта (для версий Visual Studio 2010 и более поздних) VC++ Directories/Executable Directories. А данная обёртка уже сама вызывает родной компилятор Visual C++, добавляя и/или переопределяя для него ряд параметров компиляции, заданных в Visual C++ проекте.

Анализатор PVS-Studio же для проверки исходных файлов сам сначала напрямую вызывает препроцессор (cl.exe или clang). PVS-Studio берёт параметры компиляции непосредственно из файла проекта через API среды, что приводит к ошибкам компиляции при попытке проверить один из таких сгенерированных с помощью Marmalade SDK Visual C++ проектов, так как заголовочные файлы SDK требуют определений, содержащихся в его компиляторных обёртках.

В качестве workaround для проверки Marmalade SDK проектов с помощью PVS-Studio можно вручную модифицировать параметры компиляции проекта, добавив в них ряд таких параметров из обёрток. Для предотвращения в дальнейшем конфликтов при непосредственной компиляции проекта для таких модификаций желательно создать отдельную сборочную конфигурацию в Configuration Manager для данного проекта (например, Debug_PVS_Studio, скопировав конфигурацию Debug). В такую конфигурацию необходимо будет внести следующие изменения:

Добавить флаг компиляции /X (Ignores the standard include directory.)
Добавить define символ __S3E_CL_WRAPPER
Переименовать define символ I3D_ARCH_ARM в I3D_ARCH_X86

Перед проверкой проекта также желательно будет переключить режим препроцессирования PVS-Studio на 'Visual C++' (PVS-Studio->Options->Common Analyzer Settings->Preprocessor).