On Tue, Sep 25, 2012 at 07:26:00AM -0500, Ed Cashin wrote: > Hi, Dan Carpenter. > > I was just reading the LWN coverage of the KS2012, and I noticed > your lightening talk on Smatch. > > I'm interested in learning more about Smatch but had trouble > cloning the git tree from a URL in an announcement from 2010. It should just be: git clone git://repo.or.cz/smatch.git The instructions are on: http://smatch.sourceforge.net/. (Hopefully they work). Let me know if they don't. There are some GCC pre processor options which Sparse (and thus Smatch as well) doesn't understand. Anyway, feel free to ask me stuff. > I figured I'd find more recent info on the mailing list archives > but notice you're not yet going through gmane. > > If you're not averse to the idea, I'd encourage you to consider > subscribing gmane to your mailing list: > > http://gmane.org/about.php > http://gmane.org/subscribe.php > There isn't very much traffic on the list yet (maybe 1 email per month at tops). I'll do that when the traffic picks up a bit. regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe smatch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
