Published December 21, 2022 | Version sv-comp23
Software Open

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Artefact)

Creators

  • 1. Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France
  • 2. Unaffiliated
  • 3. LIP6, Sorbonne Université, F-75005, Paris, France

Description

This is the artefact of the Mopsa static analyzer that was used in the Software Verification Competition of 2023. 

 

Usage instructions:

unzip mopsa.zip

sudo docker pull registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023

sudo docker run --rm -i -t --volume=$(realpath ./mopsa):/tool --workdir=/tool registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023 bash

mopsa-sv-comp --program PROG --property PROP --data_model ILP32_or_LP64


 

Files

mopsa.zip

Files (6.9 MB)

Name Size Download all
md5:fb002ab7e3187a5305fea51797811c87
6.9 MB Preview Download