École Nationale Supérieure de
Techniques Avancées

Résumé

J’ai construit un outil de détection de mauvaises utilisations d’API dans le noyau Linux. Cet outil a été construit en C avec Smatch, un analyseur lexical et une infrastructure d’analyse statique adaptée à Linux. Mon outil utilise un DSL ((Domain-specific language)) pour décrire les catégories d’arguments qui sont utilisés au sein d’une API et les contraintes de vérification de valeurs de retour. Cet outil analyse fichier par fichier les appels aux API sans tracer le flux de contrôle qui serait trop complexe. Cet outil a été principalement utilisé sur l’API du DMA (Direct Memory Access) et a permis de détecter 16 mauvaises utilisations d’API qui ont été signalés et confirmées par les mainteneurs. Il a permis aussi de détecter 86 mauvaises vérifications de valeurs de retour dont 19 ont été rapportés aux mainteneurs et corrigés.