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.

Organization

Student

andrew wells

Mentors

  • Behan Webster
  • Jan-Simon Moeller
close

2016