A novel static analysis technique that infers field-based locking rules and checks the code against these rules to detect potential race conditions in complex software like the Linux kernel.
