Règle de vérificateur de pilote statique
Une règle de vérification définit une exigence d’interaction appropriée entre un pilote et l’interface du noyau du système d’exploitation. Les règles sont écrites en langage de spécification pour la vérification d’interface (SLIC), un langage simple qui a été développé expressément à cette fin par Microsoft Research.
Commentaires
Bientôt disponible : Tout au long de 2024, nous allons supprimer progressivement GitHub Issues comme mécanisme de commentaires pour le contenu et le remplacer par un nouveau système de commentaires. Pour plus d’informations, consultez https://aka.ms/ContentUserFeedback.
Envoyer et afficher des commentaires pour