Displaying 1 result from an estimated 1 matches for "int_field".
Did you mean:
get_field
2016 Jan 21
2
Could I do some control-flow and dataflow analysis cross files and functions via IR
...ioned 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.
For example,
****************************************
int foo(struct A* a, int b, ...){
...
a->Int_field = b;
...
return 0;
}
*****************************************
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 Use scenario
and fetch some constraints about it.
So, could I achieve this goal via IR...