[Python-Dev] Is core dump always a bug? Advice requested (original) (raw)

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. PythonLabs at Zope Corporation

More information about the Python-Dev mailing list