A tool for checking kernel function memory out of bounds through disassembly, instruction analysis, and code instrumentation.