Hi Alberto,
The function's return type and parameter types are encoded as part of
the type of variable vi, just look in vi.vtype. You should get back a
TFun, which includes the return type, the parameter types, a flag to say
if the function is a varargs function, and the attributes of the
function
Divya,
I'm not giving too much detail, but hopefully this at least gets you
started.
The call instruction is a four-tuple, made up of: the (optional) lvalue
assigned into by the call; the expression representing the function
being called; the list of expressions representing the function
argument
