Skip to content

JIT safety is not documented #16

@Shnatsel

Description

@Shnatsel

JIT is quite perilous from the correctness and security standpoints, but this is currently not addressed in the README.

If you write an interpreter in Rust you can use rustc to guarantee memory safety, but with JIT you're essentially emitting arbitrary assembly at runtime and jumping into it. No amount of memory safety guarantees on the original code will guarantee memory safety in the generated code.

Please document how this is addressed (if at all).

P.S. Thank you for the very interesting project that's pushing the boundaries of safety as we know it!

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions