C Instrumentation Framework

Hello team,
Iam trying to use the Aspectator part of the LDV framework for some of our testing.
However, there is not much documentation available on how to use the same.
Generally there would be an executable that accepts the source and rules as input and produces output.
But I could not find such an executable readily available.
Could you point me to some material or a beginners guide on how to go about using the same?

Thanks!