[Python-Dev] Re: Is core dump always a bug? Advice requested (original) (raw)
Casey Duncan casey at zope.com
Wed May 12 09:34:14 EDT 2004
- Previous message: [Python-Dev] Is core dump always a bug? Advice requested
- Next message: [Python-Dev] factory functions in the datetime module (& others)
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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 LOADCONST tries to index beyond the actual length of coconsts, 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
- Previous message: [Python-Dev] Is core dump always a bug? Advice requested
- Next message: [Python-Dev] factory functions in the datetime module (& others)
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]