Blog

Notes on static analysis, WebAssembly, and whatever else I'm tinkering with.

July 7, 2026 How I compiled MOPSA to WebAssembly A static analyzer written in OCaml with native C/C++ dependencies, and what it took to drag the FFI boundary onto wasm32.