DelExp: a Relational Container Abstraction with Applications to Compositional Analysis : Software Artefact

This artifact accompanies the ECOOP26 paper "DelExp: a Relational Container Abstraction with Applications to Compositional Analysis". It consists in a docker image, in which the experimental evaluation from the article can be reproduced. The sources of the analyzer are available inside the image, where they are already built, but can be re-built. They are also available in mopsa-analyzer.zip. Similarly, you can found benchmarks inside the image, but also in benchmarks.zip To use the artifact, follow the steps indicated in README.pdf.