Rules based automatic Linux Device Driver Verifier And Code Assistance

Abstract

Development of Linux Device Drivers involves lot of complex data structures and functions. The developer should carefully apply these to the drivers otherwise code will misbehave in the Linux Kernel and degrades the performance of the system. Majorly Linux device driver code requires stability so as to provide correctness and reliability. To achieve this, the need of the hour is a proper and efficient verification tools. Linux driver code verification is a vast application area consisting of different verification methods on proper functional placement, safety and security usages. In this paper we are proposing a tool embedded into Eclipse IDE as a plug-in and this tool works on the principle of "Rules based Linux Device Driver Automatic Verifier and Code Assistance" for the bugs fixation. Majorly the rules are based on Kernel API violations, proper allocations & de allocations, synchronization mechanisms & usage, proper return type usage and interrupt context issues.