Smatch

wikipedia:Smatch (2002) SCA Linux Kernel locking. (Dan Carpenter)

• https://blogs.oracle.com/linux/writing-the-ultimate-locking-check

See also

• Linux Kernel: namespaces, Cgroups, OOM, proc, Linux Kernel changelog, sysctl, userfaultfd, Grub, ENOSPC, ENOMEM, DKMS, syscall, Transparent huge pages, smatch, sysfs, vm.swappiness, CFS, Runlevel, Jens Axboe, Consistent Network Device Naming, Initial ramdisk (initrd), modprobe, MTD, Linux Kernel vulnerabilities, /sys/kernel/, KernelCare, unix://, Data Plane Development Kit (DPDK)