|
From: Florian W. <fw...@de...> - 2005-10-18 11:44:11
|
* Julian Seward: > It would be interesting to know if building a system which *always* > correctly differentiates uninitialised vs initialised bits is > equivalent to solving the halting problem (viz, undecideable). > I suspect so. Statically, for languages like C? Sure. But dynamically, during execution, it should be possible. |