I can't run the "polyspace-bugfinder-nodesktop.exe" via a user-defined option file
4 次查看(过去 30 天)
显示 更早的评论
#These are the options for MyBugFinderProject
-lang c
-OS-target no-predefined-OS
-author Jerry
-dialect gnu4.6
-target i386
-dos
-checkers default
-disable-checkers concurrency
-no-extern-C
-do-not-generate-results-for all-headers
-report-output-format PDF
-D POLYSPACE
-prog LcdDisp
-misra3 D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\rule\rules.txt
-report-template D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\Generator\..\..\..\\02_Build\polyspace\Optionfile\BugFinder.rpt
-results-dir D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\05_Modules\01_Application\STD_LcdDisp\Doc\Polyspace_Result\R_BF_90
-sources D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\Generator\..\..\..\\05_Modules\01_Application\STD_LcdDisp\Src\STD_LcdDisp.c
-sources D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\Generator\..\..\..\\05_Modules\01_Application\STD_LcdDisp\Src\STD_LcdDisp_Callout.c
-sources D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\Generator\..\..\..\\05_Modules\01_Application\STD_LcdDisp\Src\LcdDisp_Cfg.c
-I D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\Generator\..\..\..\\05_Modules\01_Application\STD_LcdDisp\Src
-I D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\Generator\..\..\..\\02_Build\polyspace\Source
-I D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\Generator\..\..\..\\05_Modules\05_MCAL\Std
these content is copyed from option file. when I use -misra3 all command, the polyspace-bugfinder-nodesktop.exe can excute correctly. if modify "-misra3 all" to “-misra3 D:\Workstation\02_Project\JenkinsTest\02_SW\01_APP\02_Build\polyspace\rule\rules.txt“, the polyspace-bugfinder-nodesktop.exe can not excute correctly. The rules.txt is exported from polyspace-bugfinder shown as follow:
# MISRA C:2012 rules configuration file
# Generated by Polyspace
D1.1 off # Not enforceable
D2.1 off
D3.1 off # Not enforceable
D4.1 off
D4.2 off # Not enforceable
D4.3 off
D4.4 off # Not enforceable
D4.5 off
D4.6 off
D4.7 off # Not enforceable
D4.8 off # Not enforceable
D4.9 off
D4.10 off
D4.11 off
D4.12 off # Not enforceable
D4.13 off
1.1 on
1.2 on
1.3 on
2.1 on
2.2 on
2.3 on
2.4 on
2.5 on
2.6 on
2.7 on
3.1 on
3.2 on
4.1 on
4.2 on
5.1 on
5.2 on
5.3 on
5.4 on
5.5 on
5.6 on
5.7 on
5.8 on
5.9 on
6.1 on
6.2 on
7.1 on
7.2 on
7.3 on
7.4 on
8.1 on
8.2 on
8.3 on
8.4 on
8.5 on
8.6 on
8.7 on
8.8 on
8.9 on
8.10 on
8.11 on
8.12 on
8.13 on
8.14 on
9.1 on
9.2 on
9.3 on
9.4 on
9.5 on
10.1 on
10.2 on
10.3 on
10.4 on
10.5 on
10.6 on
10.7 on
10.8 on
11.1 on
11.2 on
11.3 on
11.4 off
11.5 on
11.6 on
11.7 on
11.8 on
11.9 on
12.1 on
12.2 on
12.3 on
12.4 on
13.1 on
13.2 on
13.3 on
13.4 on
13.5 on
13.6 on
14.1 on
14.2 on
14.3 on
14.4 on
15.1 on
15.2 on
15.3 on
15.4 on
15.5 on
15.6 on
15.7 on
16.1 on
16.2 on
16.3 on
16.4 on
16.5 on
16.6 on
16.7 on
17.1 on
17.2 on
17.3 on
17.4 on
17.5 on
17.6 on
17.7 on
17.8 on
18.1 on
18.2 on
18.3 on
18.4 on
18.5 on
18.6 on
18.7 on
18.8 on
19.1 on
19.2 on
20.1 on
20.2 on
20.3 on
20.4 on
20.5 on
20.6 on
20.7 on
20.8 on
20.9 on
20.10 on
20.11 on
20.12 on
20.13 on
20.14 on
21.1 on
21.2 on
21.3 on
21.4 on
21.5 on
21.6 on
21.7 on
21.8 on
21.9 on
21.10 on
21.11 on
21.12 on
22.1 on
22.2 on
22.3 on
22.4 on
22.5 on
22.6 on
# End of file
0 个评论
回答(1 个)
Anirban
2023-1-12
编辑:Anirban
2023-1-12
Which release of Polyspace are you using? Since R2021b, text format for coding rules specification is not supported. See the Version History section of Check MISRA C:2012 (-misra3).
You have to use the option -misra3 from-file and use the option -checkers-selection-file to specify a checkers selection file. See Set Checkers by File (-checkers-selection-file).
2 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Debugging and Analysis 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!