ReproMatch

Tool Details

LLVM

The compiler frameworks LLVM can be used to instrument provenance at compilation time. This works for a range of programming languages, such as C, C++, and Java. The idea is to insert capture of execution provenance at each function entry and exit: when the framework compiles the experiment, provenance at the binary level is transparently captured at the cost of a small overhead.


Publication:
https://www.usenix.org/system/files/conference/tapp12/tapp12-final22.pdf
Tags:
Java programming tool software package compiler C C++ OS Support OS X: True Windows: True Linux: True Web-based: False Provenance Capture: True OS-Based: False Code-Based: True Workflow-Based: False Data-Based: False Representation: True Descriptive-Only: True Executable: False Note: The execution trace produced is a provenance graph that is loaded into SPADE, where it can be managed and queried. Replicability: False Modifiability: False Portability: Low Longevity: False Document linkage: False Experiment sharing: False