Try-Mopsa: Relational Static Analysis in Your Pocket

Raphaël Monat

Static analyzers are complex pieces of software with large dependencies. They can be difficult to install, which hinders adoption and creates barriers for students learning static…