A bytecode vm written in python.

Last update: Aug 26, 2022

Related tags

Code Analysis CHex

Overview

CHex

A bytecode vm written in python.

hex command meaning

note: the first two hex values of a CHex program are the magic number

0x01 (offset in memory in hex)

Print the ascii hex character stored in memory at the offset given.

0x02 (program offset to jump to)

Equivelent of jump command in asm.

0x03 (offset in memory to store value at) (hex value to store(can be ascii hex))

Store a value in memory at the given offset.

0x04 (offset in memory to get program offset from)

Jump to a program offset stored in memory.

0x05 (memory offset 1) (memory offset 2) (program offset to jump to)

Jump to given program offset if two values in memory are equal.

Machine code can be written in a hex editor that is compatible with this.

If you would like to see some code I have already written please check the example binary.

What it simulates

It inits the memory.
It inits the only register the cpu has. (offset)
It loads the first two bytes of the program file and checks if they say "hi" in ascii. If not true it turns off.
It sets offset to 0x02
It gets the command at the location of offset and runs it.
It sets offset to the next command
Goes back to step 5 and repeats ntil the program ends.

A formatter for Python files

YAPF Introduction Most of the current formatters for Python --- e.g., autopep8, and pep8ify --- are made to remove lint errors from code. This has som

13k Dec 31, 2022

Performant type-checking for python.

Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providi

6.2k Jan 7, 2023

Collection of library stubs for Python, with static types

typeshed About Typeshed contains external type annotations for the Python standard library and Python builtins, as well as third party packages as con

3.3k Jan 2, 2023

A system for Python that generates static type annotations by collecting runtime types

MonkeyType MonkeyType collects runtime types of function arguments and return values, and can automatically generate stub files or even add draft type

4.1k Jan 2, 2023

A static type analyzer for Python code

pytype - ? ✔ Pytype checks and infers types for your Python code - without requiring type annotations. Pytype can: Lint plain Python code, flagging c

4k Dec 31, 2022

Optional static typing for Python 3 and 2 (PEP 484)

Mypy: Optional Static Typing for Python Got a question? Join us on Gitter! We don't have a mailing list; but we are always happy to answer questions o

14.4k Jan 5, 2023

Static type checker for Python

Static type checker for Python Speed Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fas

9.4k Jan 7, 2023

A static analysis tool for Python

pyanalyze Pyanalyze is a tool for programmatically detecting common mistakes in Python code, such as references to undefined variables and some catego

212 Jan 7, 2023

Unbearably fast O(1) runtime type-checking in pure Python.

Look for the bare necessities, the simple bare necessities. Forget about your worries and your strife. — The Jungle Book.

1.4k Dec 29, 2022

A bytecode vm written in python.

Related tags

Overview

CHex

hex command meaning

0x01 (offset in memory in hex)

0x02 (program offset to jump to)

0x03 (offset in memory to store value at) (hex value to store(can be ascii hex))

0x04 (offset in memory to get program offset from)

0x05 (memory offset 1) (memory offset 2) (program offset to jump to)

Machine code can be written in a hex editor that is compatible with this.

What it simulates

You might also like...

A formatter for Python files

Performant type-checking for python.

Collection of library stubs for Python, with static types

A system for Python that generates static type annotations by collecting runtime types

A static type analyzer for Python code

Optional static typing for Python 3 and 2 (PEP 484)

Static type checker for Python

A static analysis tool for Python

Unbearably fast O(1) runtime type-checking in pure Python.

Releases(dev)

dev(Jan 31, 2022)

Owner

Data parsing and validation using Python type hints

Code audit tool for python.

Performant type-checking for python.

The strictest and most opinionated python linter ever!

An interpreter for the X1 bytecode.

Learning source code review, spot vulnerability, find some ways how to fix it.

This is a Python program to get the source lines of code (SLOC) count for a given GitHub repository.

Collects all accepted (partial and full scored) codes submitted within the given timeframe and saves them locally for plagiarism check.

Auto-generate PEP-484 annotations

C/C++ Dependency Analyzer: a rewrite of John Lakos' dep_utils (adep/cdep/ldep) from

Metrinome is an all-purpose tool for working with code complexity metrics.

TidyPy is a tool that encapsulates a number of other static analysis tools and makes it easy to configure, execute, and review their results.

Guesslang detects the programming language of a given source code

A simple stopwatch for measuring code performance with static typing.

Unbearably fast O(1) runtime type-checking in pure Python.

fixup: Automatically add and remove python import statements

Collection of library stubs for Python, with static types

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

Static type checker for Python

Inspects Python source files and provides information about type and location of classes, methods etc