bug-finding

DR. CHECKER

Static analysis for tool for detecting bugs in Linux kernel drives on Android devices.