How do I make Polyspace Bug Finder ignore source files?

I have a Polyspace project which contains a mixture of in-house code and third-party libraries. I want to run Polyspace Bug Finder R2019b on our in-house code, but the third-party libraries are considered "Software of Unknown Provenance" (SOUP) and we do not care about their results.

Is there a way to tell Polyspace to ignore all files of these third-party libraries (both headers and source), and only display results for the in-house code?

Answer 1

[MathWorks Support Team]

Polyspace Bug Finder has an option called "-do-not-generate-results-for", which provides Polyspace with a list of files or folders which should be included while compiling but which should not be analyzed directly. The effect of this is that results for these files no longer appear.

This setting can be found in the GUI under the "Inputs & Stubbing" section of the project's "Configuration" window.

More info about this option can be found here:

https://www.mathworks.com/help/releases/R2019b/bugfinder/ref/donotgenerateresultsfordonotgenerateresultsfor.html