MATLAB: How to interpret the options of Polyspace include folder filtering settings

Question

I am using Polyspace Code Prover to analyze MISRA rules in my code. In the *Configuration -> Inputs & Stubbing -> Filtering *tab, I can pick different settings to include different files and folders. Below is an example of the different ways I have configured the analysis:

Analysis 1:

Generate results for sources and: source-headers

Do not generate results for: C:\workspace\MyProject\include

Analysis 2:

Generate results for sources and: source-headers

Do not generate results for: blank

Analysis 3:

Generate results for sources and: all-headers

Do not generate results for: blank

How do I interpret the overall result of the analysis based on the above?

Answer 1

These are the interpretations of the 3 R2018a scenarios you sent to us, where "blank" means "default" behavior of the option:

1. Take into account all headers located in same folders than sources and discard .\include folder

2. Take into account ONLY headers located in same folders than sources and discard all other headers including header in .\include (blank).

3. Take into account ALL headers without looking at their location

The above results are consistent for Polyspace Code Prover versions R2016a and above, when the includes-to-ignore option was deprecated:

https://mathworks.com/help/codeprover/release-notes.html?searchHighlight=includes-to-ignore