Why does Polyspace Code Prover generate a report even if compilation fails during analysis?
显示 更早的评论
We generate Polyspace Reports on Code Prover R2018b. We have recently upgraded the version from R2015b to R2018b
We have found that reports get generated even when some files in the component fail compilation phase of Polyspace tool. This was not so when we run on R2015b.
采纳的回答
MathWorks Support Team
2024-1-18
编辑：MathWorks Support Team
2024-3-1
This is an intended change to the behavior of Code Prover analysis introduced in R2017a. In that release, the default behavior was changed to allow analysis to continue to any remaining files if a compilation failure is detected. Hence, reports may be generated even if a compilation failure occurs.
Prior to R2017a, the default behavior was to stop analysis if any compilation failure was detected. To restore the old default behavior, you may specify the '-stop-if-compiler-error' option flag via the command line or in the Environment Settings page.
For more information on the compiler error flag option, please run the below command in the MATLAB R2018b command window to get the release specific documentation:
web(fullfile(docroot, 'codeprover/ref/stopanalysisifafiledoesnotcompilestopifcompileerror.html'))
Please follow the below link to search for the required information regarding the current release:
更多回答（0 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Polyspace Bug Finder 的更多信息
2019-9-30
2024-3-1
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
