![]() ![]() To verify a driver, SDV performs the following three-step process:Ĭompiles, links, and builds the driver, by using the standard Build utility. The symbolic execution makes few assumptions about the state of the Windows operating system or the initial state of the driver, so SDV can exercise code in situations that are difficult to assess through traditional testing. It places a driver in a hostile environment and systematically tests all code paths by seeking violations of usage rules-KMDF or WDM rules, depending on the type of driver. ![]() SDV explores code paths in a device driver by symbolically executing the driver source code.
0 Comments
Leave a Reply. |