Reverse Engineering Stack Exchange is a question and answer site for researchers and developers who explore the principles of a system through analysis of its structure, function, and operation. It only takes a minute to sign up.
Sign up to join this community
So i have the following code:
struct my_struct_t var1;
fun(var1);
I don't have the symbols for fun's parameter type but since it's called with an argument with type my_struct i would want IDA to infer that type. I know it's not always that straight forward, (e.g. multiple callers each calling with different arguments) but it sounds like a basic feature to propagate that kind of type information and maybe give the choice to the user to select the type when there are multiple options.
Hex-Rays will propagate type information "upwards", i.e., it will use type information from called functions or global variables to set the types of local variables (including arguments) in calling / referencing functions. It does not propagate type information "downwards", i.e., take actual parameter type information from calling functions and apply it to the formal parameters of called functions. So, in brief, the answer to your question is "no". There are several reasons for this, some of them architectural, others relating to the fact that it's actually unsafe to do it in many circumstances.
