Python Bytecode Verifier 0.1

Verifies that compiled Python bytecode is safe to execute
Python Bytecode Verifier's purpose is similar to that of Java or .NET bytecode verifiers; to ensure that an externally compiled bytecode is safe to be executed in the runtime environment. Using a verifier in the Python interpreter could securely allow loading compiled bytecode to be loaded into isolated Python environments. Closed source code written in Python as well as external compilers for other languages targeting the Python runtime could safely be used in bytecode form.

This Python Bytecode Verifier is implemented in Python and is written with C portability in mind because the long-term goal is to convince the Python community to accept a bytecode verifier into the CPython interpreter that would increase security of internally compiled Python code and would securely enable the use of Python bytecode.

This initial release has support for Python versions 2.5, 2.6, 3.0 and 3.1 and is able to successfully verify itself and all the Python source files in the respective Python source code release.

The verifier currently lacks conformance tests for invalid bytecode and thus is not suitable for production use.

last updated on:
September 21st, 2009, 19:05 GMT
license type:
MIT/X Consortium License 
developed by:
Kornél Pál
ROOT \ Security
Python Bytecode Verifier
Download Button

In a hurry? Add it to your Download Basket!

user rating



Rate it!

Add your review!