Анализ Polyspace сгенерированного кода

Проверяйте код C/C++, сгенерированный из кода MATLAB® или моделей Simulink® для дефектов