Azzera filtri
Azzera filtri

I can't run the "polyspace​-bugfinder​-nodesktop​.exe" via a user-defined option file

9 visualizzazioni (ultimi 30 giorni)
#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

Risposte (1)

Anirban
Anirban il 12 Gen 2023
Modificato: Anirban il 12 Gen 2023
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).

Community Treasure Hunt

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

Start Hunting!

Translated by