[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