twitter.com/DanielMicay/st
I didn't realize this became a product shipping in production. Pretty cool, but also really unfortunate it became an Enterprise Oracle product. It would be a really awesome tool for running C code including JNI libraries with basic memory safety.
Quote Tweet
Replying to @DanielMicay @pcwalton and 3 others
chrisseaton.com/plas15/safec.p is a paper that I read about this years ago. As far as I can tell, this exists in a production usable form via GraalVM now:
graalvm.org/security-guide
It's only available with GraalVM Enterprise though and I assume that's an expensive paid Oracle product.