Well, if we had a static analysis tool we'd obviously be able to track a
lot of things that we can't currently track. You could build a tree of all
calling sequences, and statically verify quite a few rules. You might not
prove correctness, but you could find a lot of things like this.
Dreaming? Yes.
Actually, inside SunSoft there is such a tool for debugging locking
rule violations in the solaris kernel.
Later,
David S. Miller
davem@dm.cobaltmicro.com
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.altern.org/andrebalsa/doc/lkml-faq.html