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

Clang Frontend
1

Hello,

2

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:
https://www.youtube.com/watch?v=ERJnLYn7M5I

But there must be several other resources.

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

Regards, Balazs.