<div dir="ltr"><div><div><div><div>As mentioned in the title, I want to do some control-flow and dataflow analysis. I can only find the assignment statement in a function, but the assigned variable is just a parameter of this function.<br></div>For example,<br>****************************************<br></div>int foo(struct A* a, int b, ...){<br>    ...<br></div>    a->Int_field = b;<br>    ...<br></div>    return 0;<br><div><div>}<br>*****************************************<br>in the code above, I want to do some analysis for struct A* a's Int_field, but in this function, it is only assigned, I want to find its  <span class="">Use scenario and fetch some constraints about it.<br></span></div><div><span class="">So, could I achieve this goal via IR?<br></span></div><div><span class="">Thanks a lot!<br></span></div></div></div>