Inferring Region Types via an Abstract Notion of Environment Transformation

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/AbstractTransformationThis work is supported by the German Research Foundation (DFG) under research grant 250888164 (GuideForce)