On Tue, Jul 25, 2017 at 09:21:28AM +0800, Wei Hu (Xavier) wrote: > Hi Dan Carpenter > > Thanks for your comments. > What is the checker tool? Where can I get it? This is a Smatch check. https://lwn.net/Articles/629250/ regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
