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




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).



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;


Найденные ошибки

Проверено проектов
346
Собрано ошибок
13 188

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;