#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
