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