You can see
verification verdict for each rule and linux kernel. Verdict may be:
- Safe - there is no mistakes for the given linux kernel and rule.
- Unsafe - driver may contain an error. You can see the error trace by clicking on the "Unsafe" link for the corresponding linux kernel and rule.
- Build failed - your driver is not compatible with the given linux kernel. In this case you may see the compile error trace by clicking on the "more details" link.
- Unknown - tools can not determine whether your driver Safe or Unsafe.
- Queued - the driver waits for the turn to verification.
Online Linux Driver Verification Service (alpha)