[Python-Dev] Is core dump always a bug? Advice requested

Greg Ewing greg at cosc.canterbury.ac.nz
Tue May 11 22:06:29 EDT 2004


"Fred L. Drake, Jr." <fdrake at acm.org>:

> No; if the bytecode verification is faster (I'd expect so), then you just need 
> to verify the bytecode loaded from .pyc/.pyo files the same way new.code() 
> and new.function() should.

Just a thought, but is statically verifying the bytecode even
possible in principle? Seems to me it could be equivalent to
the halting problem.

Greg Ewing, Computer Science Dept, +--------------------------------------+
University of Canterbury,	   | A citizen of NewZealandCorp, a	  |
Christchurch, New Zealand	   | wholly-owned subsidiary of USA Inc.  |
greg at cosc.canterbury.ac.nz	   +--------------------------------------+



More information about the Python-Dev mailing list