Invoerbestanden voor statische driververificatie

De SDV-verificatie-engine gebruikt de volgende bestanden als invoer voor een verificatie. Alleen de bronbestanden van het stuurprogramma en de modelbestanden van het besturingssysteem zijn vereist voor alle verificaties.

• Stuurprogrammaprojectbestand en broncode. Voer SDV uit in de map waarin het projectbestand zich bevindt.

• Modelbestanden van het besturingssysteem. SDV selecteert en verzamelt de modelbestanden van het besturingssysteem op basis van de regels die u selecteert voor de verificatie.

• Verwerkte bibliotheekbestanden. Bibliotheekbestanden zijn alleen vereist wanneer het stuurprogramma afhankelijk is van niet-systeembibliotheken. Zie Bibliotheekverwerking in Static Driver Verifier voor informatie en instructies.

• Regellijstbestand. Zie MSBuild-opdrachten voor Static Driver Verifier.

• Optiebestand voor statische stuurprogramma-verifier. SDV maakt een globaal optiesbestand dat instellingen bevat die van toepassing zijn op alle SDV-verificaties. Als u een lokaal optiesbestand voor een stuurprogramma wilt maken, kopieert u het algemene optiesbestand. Vervolgens kunt u de kopie van het algemene optiesbestand bewerken om een lokaal optiesbestand voor het stuurprogramma te maken.

Bij het evalueren van de resultaten van een SDV-verificatie is het erg belangrijk om de invoerbestanden te onderzoeken om de nauwkeurigheid en volledigheid te bevestigen van alle invoerbestanden die in de verificatie zijn gebruikt.

Deze sectie bevat gedetailleerde beschrijvingen van de volgende bestanden:

Lijstbestand voor statische stuurprogrammaverificatorregels

Optiebestand voor Statische Driver Verifier