QualaLLVM/Clang 的类型修饰符认领

Quala 是一个增加覆盖类型系统到 LLVM 和 Clang 的实验，它的灵感来自于 JSR-308 和 Checker Framework用户定制