Dan Carpenter <error27@gmail.com> writes:> Smatch is a source code checker for C. Right now the focus is on checking > for kernel bugs.Could you give a quick overview on what kinds of bugs it looks forand where the limitations are?Thanks,-Andi-- ak@linux.intel.com -- Speaking for myself only.