[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