This page lists all available artifacts for the paper and links to the source code of the implementation.
All uploads are grouped by user in a single .zip file. For easier distribution, all .zip files are aggregated in a single archive, please unzip this archive before use.
These events are made available for academic purposes only. You are not allowed to redistribute any part of this dataset. Do not distribute direct links to these files, link to this page instead.
The source-code transformation is modelled as a ReSharper test case and has to be run from within Visual Studio. Because of licensing issues there is no way to run it externally, e.g., from the command line. To run your own analyses, you just have to adapt the path in our BulkAnalysisTest and start the test with the ReSharper test runner in Visual Studio. The test will store the generated intermediate representation (IR) in the location specified by you.
You can read the IR from Java and C#, you will find the data bindings in our repository both for SSTs (Java, C#; these links point to the "Context", the root node of the IR) and for the enriched event streams (Java, C#) Please follow the types to find the rest of the model.
We provide helpers for the de-/serialization of this model in Java and in C#.
CARET is easy to use. We provide an example file with several mini-snippets that explain how to read the event stream and access the specialized context information (see How to work with the event stream). We also provide a collection of examples that illustrate how to traverse SSTs with a visitor, access information, apply an inline transformation, or perform a points-to analysis (see How to work with SSTs).