Klint: Compile-time Detection of Atomic Context Violations for Kernel Rust Code

CRANK

Gary Guo is helping our efforts to bring Rust into the Linux kernel by building a tool called klint. We asked him to provide his perspective on the work in this blog post. Thank you for your partnership and contributions, Gary! Josh Aas, Head of ISRG's Prossimo project For the last couple of months, I have been working on a static analysis tool called klint that is able to detect, in compile time, coding errors related to atomic contexts in Rust kernel code.