GitHub repository: ucsb-seclab/dr_checker
Primary language: C++
Description: DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers