GitHub repository: mc-imperial/chauffeur
Primary language: C++
Description: Clang AST frontend for Linux device driver analysis