Soni L.
Soni L.
@sbc100 how is this?
expect slow responses, we don't know about other maintainers but we've been a bit busy... will review when we have time
you might be able to add `;;; SLOW:` to it. hopefully that gives it enough time to run.
important notes: - elems don't have types (elem segments do but they're not useful), only table entries do, so we need the newtypes on the imports - ~~(tentatively) you can...
1. indeed the point is to enable control flow integrity in e.g. C. wasm has limited support for control flow integrity, for example both a `void f(int);` and `void g(char...
private types does sound similar, but we want something with less cost. rejecting subtyping and requiring exact match is very useful, as exact match can be implemented almost entirely in...
1. yeah, we could use input from folks who know more about CFI than we do. 2. so our idea is that newtypes don't participate in subtyping and thus don't...
You might be mixing objects and types. Objects of type (newtype $t) don't exist. (but objects of type (func (param (newtype $t))) or (func (result (newtype $t))) or a combination...
well, we want it so we can do ```wasm (func $strlen (param $string) (result i32)) (func $malloc (param i32) (result $pointer)) ``` and have them have incompatible types, but at...
btw this blog post contains a pretty good overview of control flow integrity https://maskray.me/blog/2022-12-18-control-flow-integrity