> Offhand, I'd say that to make this concept work one would need to
> apply conventional compiler construction techniques (lexical and
> syntax analysis, of course, but more importantly, as much data flow
> analysis as you can muster), plus an open-ended, declarative KB with
> a suitable inference engine.
Exactly. And don't forget the possibility to add more rules from pseudo
comments; it's often easier to prove something with stronger rules than
with those that can easily determined by looking at the source.
Oh, maybe even assertions of the type "if the input to this construct is
X, then the output will be Y". Sometimes, this stuff just is not provable
without outside knowledge.
MfG Kai
-
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.tux.org/lkml/