Зафиксируйте ошибки недостаточно памяти во время генерации отчета Polyspace
Диагностируйте из ошибок памяти во время генерации отчета.
Настройте существующий шаблон отчета Code Prover
Измените компоненты шаблонов отчета, чтобы включать только детали, в которых вы нуждаетесь.
Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace
Учитесь что MathWorks® Техническая поддержка должна от вас диагностировать проблему.