I can't run the "polyspace-bugfinder-nodesktop.exe" via a user-defined option file
조회 수: 2 (최근 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에서 MISRA C:2012 Directives and Rules에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!