Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis

This artifact consists of the analyzer Põder together with example programs (to be analyzed) from the paper "Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis" (TACAS 2023). Running the tool lets you verify that the results shown in the paper coincide with the output of the tool. Additionally, you are free to analyze other programs or extend Põder with your own analyses.

Please refer to Readme.txt or Readme.md for further description.

The artifact consists of a ZIP file that can be installed inside the TACAS 23 Artifact Evaluation VM (https://doi.org/10.5281/zenodo.7113223). It 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.