… driver model—making them a common source of driver errors. We present a tool called
SDV that uses static analysis to enhance both the observability and coverage of device driver …

… driver architecture facilitates static analysis of device drivers using a fragment of active driver
code … Thorough static analysis of device drivers. In 1st EuroSys Conf., pages 73–85, Leuven…

… drivers can benefit from code re-organization or hardware trends. We develop a set of
staticanalysis tools to analyze driver code … presents a comprehensive study of all the drivers in the …

… , device drivers act as a bridge between software and hardware (eg, the camera, microphone,
BLE devices, … For a comprehensive analysis, we summarized three categories of objects to …

… Moreover, we show, through our evaluation, that non-driver developers should also be
able to … However, static analysis tools cannot uncover all the bugs and vulnerabilities in the …

… As these people are not in direct contact with the developers of the operating system kernel
itself, it is desirable to thoroughly check device drivers before adding them to an operating …

… platform Jakstab and used it to verify API specifications on several Windows device drivers.
… reviewers for their detailed comments on the paper. This work was supported by CASED. …

… static analyzer in order to perform that analysis. Astrée was initially designed solely for
single-threaded code; … initializes the various devices through various types of control messages, …

… through an SPI bus managed by the MCU. Therefore, the program should ensure a reliable
SPI communication through … /hardware interactions. This limitation is due to the fact that they …

… static-analysis approach named SADA (Static Analysis of DMA Accesses), to automatically
and accurately detect unsafe DMA accesses in device drivers. … the OS through DMA accesses …