How to determine whether two instructions access the same variable in binary


Hi, might taint analysis is what you are looking for.

Unfortunately I haven’t tried any dynamic taint analysis framework yet so I can not help you with that.

TBH I’m more interested in static taint analysis. Especially improving the Clang Static Analyzer on that regard.

Here is talk about dynamic taint analysis:

But there must be several other resources.

PS: if you find something interesting, let me know.

Regards, Balazs.