Configurable Toolset for Static Verification of Operating Systems Kernel Modules
Using linux device drivers for static verification tools benchmarking