Pliki wejściowe weryfikatora sterowników statycznych

Aparat weryfikacji SDV przyjmuje następujące pliki jako dane wejściowe do weryfikacji. Do wszystkich weryfikacji wymagane są tylko pliki źródłowe sterownika i pliki modelu systemu operacyjnego.

• Plik projektu sterownika i kod źródłowy. Uruchom sdV w katalogu, w którym znajduje się plik projektu.

• Pliki modelu systemu operacyjnego. SdV wybiera i tworzy pliki modelu systemu operacyjnego na podstawie reguł wybranych do weryfikacji.

• Przetworzone pliki biblioteki. Pliki biblioteki są wymagane tylko wtedy, gdy sterownik zależy od bibliotek niesystemowych. Aby uzyskać informacje i instrukcje, zobacz Przetwarzanie biblioteki w weryfikatorze sterowników statycznych.

• Plik listy reguł. Zobacz Statyczne polecenia weryfikatora sterowników (MSBuild).

• Plik opcji weryfikatora sterowników statycznych. SdV tworzy plik opcji globalnych, który zawiera ustawienia, które mają zastosowanie do wszystkich weryfikacji SDV. Aby utworzyć plik opcji lokalnych dla sterownika, skopiuj plik opcji globalnych. Następnie możesz edytować kopię pliku opcji globalnych, aby utworzyć plik opcji lokalnych dla sterownika.

Podczas oceniania wyników weryfikacji SDV bardzo ważne jest sprawdzenie plików wejściowych w celu potwierdzenia dokładności i kompletności wszystkich plików wejściowych, które zostały użyte w weryfikacji.

Ta sekcja zawiera szczegółowe opisy następujących plików:

Plik listy reguł weryfikatora sterowników statycznych

Plik opcji weryfikatora sterowników statycznych