Try-Mopsa: Relational Static Analysis in Your Pocket
summary
A browser-only build of Mopsa compiles core OCaml components to JavaScript (gs_of_ocaml) producing a 3.1 MB bundle that runs clientsided in a web worker with ACE editor, virtual file system and a synchronous abstract debugger implemented via a sync-message hack. It supports Python and a toy universal front end, relational domains including polyhedra compiled to JS, but not C or floating-point intervals. A demo reduces two alarms to zero by adding polyhedral relations plus a string-smashing contents domain. Measured cost is about a 5× slowdown versus native, but the UI and analyses work on desktop and phones.
AI-written summary · about
chapters (10)
- 0:00Try-Mopsa intro
- 2:29Try-Mopsa features
- 3:12Compiling Mopsa to JS
- 8:11Web interface interaction
- 10:42Demo: toy program
- 18:08Implementation & performance
- 20:20Browser compatibility
- 21:02Related tools comparison
- 23:08Conclusion & future
- 23:58Q&A
related talks
07h 18mFull Workshop
27mParsing, Compiling, and Static Metaprogramming
43mOCaml at LexiFi
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
40mProgramming Clojure, Smalltalk-Style
29mMy Little Parser: Tooling is Magic
16mVisual statical analysis tool
35mMaking a lot of things