MOPSA: Modular Open Platform for Static Analysis

Docker image to build MOPSA from sources. It includes all its dependencies.

MOPSA is a generic framework for building sound static analyzers based on Abstract Interpretation.