Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published August 19, 2022 | Version v1
Software Open

Inferring Region Types via an Abstract Notion of Environment Transformation

  • 1. fortiss GmbH

Contributors

Researcher:

Description

This is an artifact accompanying the paper "Inferring Region Types via an Abstract Notion of Environment Transformation".

It is a prototype implementation of the algorithm to infer region types of Java programs introduced in the paper using the Soot framework. It takes a Java (bytecode) program as input and computes the region type of the given method in the program.

The artifact is contained using Docker. It can also be built using Gradle.

The archive in the repository consists of the following items:

  • AbstractTransformation — a folder containing the source code of the implementation,
  • abstracttransformation-amd64.tar.gz — an AMD64 Docker image of the implementation, and
  • abstracttransformation-arm64.tar.gz — an ARM64 Docker image of the implementation (for Mac on Apple silicon).

There are several Java program examples including those from the paper in the testcases.paperexamples package. The above Docker images can be run to analyze all of them and output the analysis results.

The artifact (with updates) is also available at our GitHub repository: https://github.com/cj-xu/AbstractTransformation

Notes

This work is supported by the German Research Foundation (DFG) under research grant 250888164 (GuideForce).

Files

artifact.zip

Files (402.9 MB)

Name Size Download all
md5:297700b213965f4820771e750a548e91
402.9 MB Preview Download

Additional details

Related works

Is supplement to
Conference paper: 10.1007/978-3-031-21037-2_3 (DOI)
Preprint: arXiv:2209.02147 (arXiv)