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

Casey Duncan casey at zope.com
Wed May 12 09:34:14 EDT 2004


On Tue, 11 May 2004 23:39:57 -0400
"Tim Peters" <tim.one at comcast.net> wrote:

> [Greg Ewing]
> > Just a thought, but is statically verifying the bytecode even
> > possible in principle? Seems to me it could be equivalent to
> > the halting problem.
> 
> Verifying what, precisely?  Some things can clearly be checked.  For
> examples, that all opcodes are defined, that no LOAD_CONST tries to
> index beyond the actual length of co_consts, and that no jump tries to
> branch into the middle of some multi-byte opcode sequence.

Damn, there goes my plans for phiX174.py

befunging-ly y'rs,

-Casey




More information about the Python-Dev mailing list