I think this is what WASM is meant to achieve. It allows for much more precise semantics without needing to parse an AST.