How to test single file in a whole project in a polyspace bug finder.

Hello team,

Im using polyspace bug finder, i need to know how to add a single file in a whole project. Can you please share the details with the template.

Actually i'm using version of bug finder is 2.2 (R2016b)

Answer 1

[Anirban]

I am assuming you have already set up a project in the Polyspace user interface and want to add a new file to this project. To do this:

1. Right-click the project and select Add Source Folder.
2. Navigate in your explorer and add the new file. The file should now show up in the project tree.
3. Copy the file to a module. Right-click the file and select Copy to > Module_n. You can now run an analysis on the module. If you want to analyze this file alone, you can first create a new module (right-click and select Create new module).

R2016b is quite an old release, but the above steps should be available there.

In case your question is about simply adding a new file to a project, you can select File > New in the user interface and on the first screen, make sure that the box Use template is unchecked. You should be taken to a screen where you can add a new file.

[Kannan]

Im not creating a project yet. I just want test only one .c file in whole project. First what i have to do?

After the selection of .c file in source code tab, What i have to add in include tab?

[Anirban]

You have to add folders containing paths to your headers (compiler headers and other headers).

About compiler headers, in case the headers are standard ones like math.h and what not, you can get away with not adding paths to those headers. Although, it is best to mimic your compiler as much as possible. For more information on how to find paths to compiler headers, see Provide Standard Library Headers for Polyspace Analysis.