Trying to find any dataflow analysis that tracks the parameters on the function.

[anzosasuke]

I am trying find out if the two functions memset and free are using accessing same parameters(or the same variable).

As you see in the figure, there is write operation which creates the local_220 variable in the stack. And in subsequent Xrefs, we can see read operation is happening. I want to know if there are any dataflow analysis that help me identify these data reads and writes in that particular memory.

Is there any way if I can get any insights on this? My objective is to find out if the functions "memset" and "free" perform operation on same memory variable that is not changed with another write operation.
I could be going on the wrong way. Any thoughts will help me and Much appreciated