A RetroSearch Logo

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

Search Query:

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

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

[Python-Dev] Re: Is core dump always a bug? Advice requested [Python-Dev] Re: Is core dump always a bug? Advice requestedCasey 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

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4