Przetwarzanie biblioteki w weryfikatorze sterowników statycznych

Wiele sterowników zależy od dynamicznie i statycznie połączonych bibliotek funkcji. Zazwyczaj biblioteki obejmują funkcje przetwarzania ogólnego, ale w niektórych sytuacjach obejmują funkcje, które są integralną częścią sterownika.

Biblioteki są niezbędne do określenia, czy sterownik jest zgodny z regułami interfejsu. Na przykład bez kodu biblioteki może się wydawać, że sterownik pominął wymagane wywołanie, które jest uwzględnione w bibliotece. Lub biblioteka może zawierać wywołanie, które sterownik duplikuje, powodując błąd powtarzania, taki jak dwukrotne zwolnienie blokady.

Aby dołączyć bibliotekę do weryfikacji sterownika, sdV musi najpierw przetworzyć bibliotekę , aby przygotować ją do użycia w weryfikacji sterownika.

SdV próbuje automatycznie wykrywać i przetwarzać wszystkie biblioteki, od których zależy sterownik, ale ponieważ nie zna lokalizacji niektórych plików źródłowych biblioteki, nie może automatycznie przetwarzać tych bibliotek i dołączać ich do weryfikacji sterownika. Aby zapewnić, że SDV zapewnia najbardziej dokładną analizę sterownika, należy ręcznie dodać wszystkie biblioteki, do których odwołuje się sterownik, do pamięci podręcznej biblioteki SDV, klikając kartę Biblioteki i wybierając pozycję Dodaj bibliotekę aby przetworzyć biblioteki. Jeśli używasz wiersza poleceń, możesz dodać bibliotekę, uruchamiając sdv za pomocą polecenia /lib dla projektu biblioteki.

Po przetworzeniu biblioteki, SDV zachowuje pliki przetwarzania biblioteki i automatycznie dołącza kod biblioteki do weryfikacji wszystkich sterowników, które jej wymagają. Nie trzeba ponownie przetwarzać biblioteki, chyba że kod biblioteki ulegnie zmianie. Aby uzyskać instrukcje dotyczące ponownego przetwarzania biblioteki, zobacz Ponowne przetwarzanie biblioteki.

Ta sekcja zawiera następujące elementy:

Przetwarzanie biblioteki

Ponowne przetwarzanie biblioteki

komentarze

SdV zawiera przetworzone pliki bibliotek dla bibliotek systemowych. Nie trzeba kierować SDV do przetwarzania tych bibliotek. Gdy SDV wykryje, że sterownik zależy od tych bibliotek, używa przetworzonych plików tych bibliotek bez wyświetlania komunikatu ostrzegawczego. Aby uzyskać informacje o wymaganiach dotyczących biblioteki, zobacz Określanie, czy statyczny weryfikator sterowników obsługuje sterownik lub bibliotekę.