Closed bharsesh closed 2 years ago
Thanks for working on this! These kinds of debug prints are valuable for tracking locations. However, I think we should reconsider the format of our debug outputs for different locations (DestSrcPairs, TaintInfo...).
Personally, I would like to see all info about one location in the same line, like in regInfo MF attribute. Please, find the example below.
Dest: { reg: $rbp, off: 12 }
- register + offset
Src1: { reg: $rax }
- register
Src2: { off: 3 }
- immediate
Or, for TainList elements (TaintInfo) something like
{ reg: $rcx, off: 4 } (mem addr: 4)
What do you think about this?