The idea is that, given the specific input to the program, I want to automatically enter the full program and unload its control flow along with all the data that is used as classes and their variables. Is this their easy way to do this? Or can this be done with some gdb scripts, or is modification required in gdb?
Well, the reason for this question is related to the idea of a debugging tool. What he does is this. Given two different entries in the program, one of which causes an incorrect output, and the other is correct, it will tell you what part of the control flow is different for them.
So, it seems to me that you will need a complete dump of these two control flows going to the differential engine. And if two inputs correspond to similar control flows, then their diff (in many cases) will give a good idea of why the error exists.
This can be done in a very attractive tool with many features built on top of it.
msarkar
source share