RetroSearch Browse

Tue May 11 22:06:29 EDT 2004 · http://mail.python.org/pipermail/python-dev/2004-May/044763.html

"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	   +--------------------------------------+

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from http://mail.python.org/pipermail/python-dev/2004-May/044763.html below:

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