Polyspace UT cannot traverse subfolder structure

While performing unit testing using Polyspace facing issues to travese subfolder header files.

Is Polyspace supporting such option? If yes please let me know the procedure.

Answer 1

[Anirban]

If I understand the question correctly, you are adding a path to an include folder but the subfolders are not being traversed. Indeed, you have to explicitly add paths to all folders in your Polyspace project.

If you set up a project in the Polyspace user interface, during project setup, there is a check box Add recursively that automatically adds paths to a subfolder if you provide the path to a top level folder (see image below).

If you are running analysis at the command line, you have to add a -I to every subfolder. You can write a script to generate -I's to a subfolder given a top level folder, or set up a project in the Polyspace user interface using the above convenient check box and generate an options file for runs at the command line.

[Nagarajan]

One clarity needed that if a project contains multiple folders (.c & .h) each contains it's own includes also need to be proceed same.

Pls clarify.

[Anirban]

Yes, if all those folders have a common parent folder, you can add the parent folder recursively. Otherwise, you can add each folder individually.