Program tracer, based on PIN, Protobufs and Python.