MOPSA 1.2 released!

We are pleased to announce the release of MOPSA v1.2!

In addition to numerous fixes, major changes include:

• Sound support for bitfields.
• Bitmask abstract domain.
• Find bugs in the analyzer thanks to property-based testing for non-relational numeric abstractions.
• A simplified build system using dune’s include_subdirs qualified option.
• Warn about usage of prototype domains through runtime warnings and in the analysis report

MOPSA 1.2 release and full change log are available, part of the GitLab MOPSA project.

MOPSA 1.2 is also available on Opam, for easy installation. Just typing opam install mopsa!

Installing MOPSA is as easy as typing opam install mopsa.

See how to Get Started now!