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

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