There is a newer version of the record available.

Published May 25, 2022 | Version v1
Software Open

Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis

Creators

  • 1. University of Tartu

Description

This is the artifact for the SAS 2022 submission "Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis". Please refer to the file sas22-artifact-descr.md for further descritption.

The artifact consists of an OVA virtual machine running Linux which contains the source of the Põder static analysis framework, the compiled põder-1.0.jar file, the test code OInt.java, and compiled .class files.

 

Files

demo.gif

Files (2.9 GB)

Name Size Download all
md5:4b1fd7e8c9b8244ba39e88b690e74642
1.5 MB Preview Download
md5:776671313b617939aebb86ceb82b44ab
2.9 GB Download
md5:f8da792d014de57bba7d5453845b2961
6.6 kB Preview Download