Provenance Tracking with Linvail

Once you click the play button, the target program (top) is provided as a string to the instrumenter (bottom). The instrumenter is responsible for transforming and then executing it.

This demo shows how precisely Linvail tracks the provenance of primitive values.