Hey folks,
Was wondering what tools do you guys use to find bugs in the source code (static) or dynamically find bugs in your drivers? Any recommendations?
Currently we only use visual studio's driver static verifier for source code problems and driver verifier for runtime problems, but was wondering if there are better options to find bugs in our drivers (static or dynamic)? Some of our drivers are KMDF and some older ones are WDM.