Mopsa 15/11/20 Mopsa's Gitlab Mopsa's Project Website Mopsa is a framework to write static analyses by abstract interpretation.