"IFC via Heap in OO programs Artefact"

"In our paper, we introduce a generic notion of symbolic abstract heap domains, that are dedicated to the analysis of information-flows in low-level object-oriented programs. We advance a new approach for inferring a polymorphic information flow guard for any method, that relies on a co-reachability analysis of a symbolic transition system that is constructed based on an instance of the abstract heap domain. We implement multiple instantiations of our domains along with the guard inference procedure in a tool called Guardies. We describe precision results obtained using the IFSpec benchmarks, as well as scalability evaluations using real-life open-source applications.The present artifact contains all the necessary programs and input files to reproduce our results. It also provides a documentation for using Guardies on any user-provided program. "