LLVMLinux: Static Analysis
- Mentors
- Behan Webster, Jan-Simon Moeller
- Organization
- The Linux Foundation
Clang/LLVM provide a static analyzer that is focused towards userspace errors; however, it can be extended to kernelspace. The final goal is to fix false-positives and extend the functionality of scan-build so that it reaches feature parity with splice, the current in-kernel checker. Ideally, the checker will then be more useful for other projects as well.