Hi there,
I am using LAVA to inject bugs into some benchmarks.
After LAVA finishes, I can find the buggy binary and some inputs that can trigger seg-faults in the binary.
My question is: is there a way to get the instrumented source code of the buggy binary? I tried to grep "lava_get" but find nothing in the target_injection directory.

Thanks,
Daniel.