On Wednesday 22 of July 2009 18:34:13 Christopher Li wrote: > Just curious, what are you trying to build with sparse? A Linus filter > would be pretty cool. Sorry for my ignorance, I've never heard about the Linus filter. Could you please point me to some relevant info? For now we only want to play with separation logic and use it for static analysis of code as part of our research at FIT BUT. > BTW, I want to start some hacking guide for sparse. I am particular > interested in what is the common pain when a new hacker try to work on > sparse. Do you find sparse pretty easy to learn on? I've just written my first "hello world" SPARSE client (nothing useful yet) and I am going to write the same as gcc-4.5 plug-in and compare it with each other - what is similar, what is different etc. I haven't encountered any problem while learning SPARSE yet. The code is easy to read and the examples sufficient. Maybe worth to write some brief description of the particular examples within README? I'll come with some ideas later if any. Kamil -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
