Jure Pe_ar <pegasus@xxxxxxxxxxx> wrote: > And since you like theoretic approach to problems, I might have a suggestion > for you: pick a linux kernel subsystem of your choice, think of it as a > state machine, roll out all the states and then check which states are not > covered by the code. I have no idea what you mean (I suspect you are asking about reachable states). If you want a static analyzer for the linux kernel written by me, you can try ftp://oboe.it.uc3m.es/pub/Programs/c-1.2.2.tgz > I think that will keep you busy and the result might have some value for the > community. If you wish to sneer about something, please try and put some technical espertise and effort into it. Peter - To unsubscribe from this list: send the line "unsubscribe linux-raid" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
