Clang AST frontend for Linux device driver analysis