MopsaMopsa's Gitlab Mopsa's Project WebsiteMopsa is a framework to write static analyses by abstract interpretation.