[Python-Dev] Is core dump always a bug? Advice requested
Fred L. Drake, Jr.
fdrake at acm.org
Tue May 11 22:14:40 EDT 2004
On Tuesday 11 May 2004 10:06 pm, Greg Ewing wrote:
> Just a thought, but is statically verifying the bytecode even
> possible in principle? Seems to me it could be equivalent to
> the halting problem.
I don't see any reason to think them equivalent; we don't need to determine
that the code will execute to completion, only that the bytecodes can be
decoded without error. Not trivial by any means, but I think it's a more
constrained problem.
-Fred
--
Fred L. Drake, Jr. <fdrake at acm.org>
PythonLabs at Zope Corporation
More information about the Python-Dev
mailing list