Messages in this thread |  | | | Date | Thu, 30 Jul 1998 08:56:19 -0700 (PDT) | | From | Linus Torvalds <> | | Subject | Re: [patch] IDE problems on SMP, fixed? (fwd) |
| |
On Thu, 30 Jul 1998, MOLNAR Ingo wrote: > > best would be if we could somehow track this without runtime overhead ... > impossible i think :(
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.
Linus
- 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
|  |