All The Memory Safety Of C Combined With All The Blazing Speed Of JavaScript
summary
Claim: WebAssembly gives C-like memory safety with JavaScript-level speed. Demo uses WasmExplorer, Rust and the wasm-trace repo to compile and instrument binaries, adding prologue/epilogue instructions and using tee_local to copy return values so tracing doesn’t break execution. Instrumented modules write events into linear memory (viewable via WebAssembly.memory/ArrayBuffer) as integers like [0,72,2,-10]. The toolchain runs in-browser and the tracer works end-to-end.
AI-written summary · about
chapters (15)
- 0:00Start
- 1:48Javascript Developer
- 4:59Why Does Web Assembly Matter
- 9:25Linear Memory
- 9:54Structured Control Flow
- 10:45Compilation Target for High-Level Languages
- 11:02Function Get Compiled to Webassembly
- 12:53The Stack Machine
- 14:53Addition
- 18:53Dtrace for Web Assemblies
- 21:08Exposed Tracer
- 22:44Write the Return Value to Memory
- 27:37Memory Safety
- 28:24Typing Rules
- 29:45Formal Semantics Validation
