Reprocessing a Library
You typically need to process the code for libraries that your driver requires only once. However, you need to process a library again in the following situations:
Added library. If changes in the driver code require a library that SDV has not processed, you must process that library.
Library change. If the code has changed in a library that the driver requires, or in a library required by one of those libraries, you must reprocess all libraries affected by the change.
Delete processed libraries. If you removed all the libraries from the libraries cache, by using either the Remove Libraries button on the Libraries tab or by running the /clean option in the library directory in MSBuild.
If you cannot process a required library for any reason, you can still run a verification, but the results are less reliable.
To reprocess a library
- Start Static Driver Verifier. From the Driver menu in Visual Studio, click Launch Static Driver Verifier....
- On the Main tab, click Clean.
- Click the Libraries tab and click Add Library to add the library.
- Navigate to the library directory and select the project file for the library.
To re-process all libraries
- Start Static Driver Verifier. From the Driver menu in Visual Studio, click Launch Static Driver Verifier....
- Click the Libraries tab to select the library (or libraries), and click Remove Libraries to remove the library or libraries from the cache.
- For each library that you need to re-process, click Add Library.
- Navigate to the library directory and select the project file for the library.
- Repeat the steps to add and select project files for each library your driver uses.
You can also reprocess a library from in an MSBuild command by using the /clean and /lib parameter options. For more information, see Static Driver Verifier commands (MSBuild).