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