d0rata

Is there a way to access provenance information without going through a separate CLI? As in, if I use the documented C++ interface to load a program, populate it with...