I can't run the "polyspace-bugfinder-nodesktop.exe" via a user-defined option file
2 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
#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 commentaires
Réponses (1)
Anirban
le 12 Jan 2023
Modifié(e) : Anirban
le 12 Jan 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).
2 commentaires
Voir également
Catégories
En savoir plus sur MISRA C:2012 Directives and Rules dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!