Dr Checker 4 Linux – 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.

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.

You can download it from the following link: https://packetstormsecurity.com/files/download/163983/dr_checker_4_linux-main.zip

Source: https://packetstormsecurity.com/files/163983/Dr-Checker-4-Linux.html