PolyspaceAsYouCode analyse header files

3 次查看（过去 30 天）
Horst Dreßel
Horst Dreßel 2022-11-29
回答： Christian Bard 2022-12-6
If I analyse header files with PolyspaceAsYouCode plugin I got errors if types defined in other header files. If I analyse C-files it works.
How it is possible to analyse header files with subsequent definitions ?

请先登录，再回答此问题。

回答（1 个）

Christian Bard
Christian Bard 2022-12-6
I assume that you did set build in PolyspaceAsYouCode plug-in with a Polyspace build options file.
In order that PaYC would analyse header files, I guess, the build options file should contain an entry allowing to provide information to build header files.
See doc: here https://www.mathworks.com/help/bugfinder/ug/generate-options-for-polyspace-as-you-code-analysis-in-visual-studio-code.html

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品


版本

R2022b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by