Problems analysis of Windows drivers verification
Authors: Ershov N.G., Ryazanova N.Yu.
Published in issue: #6(18)/2013
DOI: 10.18698/2308-6033-2013-6-770
Category: Information technology
The article is devoted to matters relating to the security of the operating system Windows. It is shown that the kernel-mode drivers, which are used by means of mutual exclusiveness, can be potentially dangerous for the system and cause a system crash. Analyzed are the results of the work included in the system of means of verification Driver Verifier. For the analysis developed by kernel-mode drivers, containing different types of hazards, and carried out the verification. Identify opportunities and formulate practical recommendations for the use of system resources to verify the purpose of detection and elimination of their code of potentially dangerous sites.