sparse && smatch

https://sparse.docs.kernel.org/en/latest/

https://git.kernel.org/pub/scm/devel/sparse/sparse.git/

https://events.linuxfoundation.org/wp-content/uploads/2022/10/Dan-Carpenter-Smatch-Mentorship-Series-Presentation-Template.pdf

https://javiercarrascocruz.github.io/kernel-auto-cleanup-1

https://lwn.net/Articles/691882/

https://www.kernel.org/doc/Documentation/dev-tools/testing-overview.rst

nixos 似乎将 smatch 的 homepage 指向了 sparse

• https://github.com/NixOS/nixpkgs/blob/nixos-24.05/pkgs/development/tools/analysis/sparse/default.nix#L38
• https://github.com/NixOS/nixpkgs/blob/nixos-24.05/pkgs/development/tools/analysis/smatch/default.nix#L33

LWN：用 Smatch 来发现 bug！

https://mp.weixin.qq.com/s/Lyp8gOcG3mcBqmEVvIhwnA

看看 smatch 检查 patch

https://mp.weixin.qq.com/s/Lyp8gOcG3mcBqmEVvIhwnA

本站所有文章转发 CSDN 将按侵权追究法律责任，其它情况随意。