This is an LLVM based tool to audit Linux kernel module
security using both pointer and taint analyses that are
flow-sensitive, context-sensitive, and fieldsensitive on kernel
drivers. It is port of Dr. Checker.
Read more https://packetstormsecurity.com/files/163983/dr_checker_4_linux-main.zip