To verify your source files in the user interface, you must create a Polyspace® project.
The project consists of your source files, include folders, and one or more modules. You add all or some of your source files to a module, change the default analysis options if you want, and run verification on the module.
Specify source files and analysis options in your Polyspace project.
Import analysis options from a previously saved template.
Update your project by refreshing your source file list, changing the order of includes, or changing analysis options.
Copy some source files from your project into a module. Create multiple configurations in the module.