--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on December 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to get all arguments of a Call instr?



Hello,

On 09/12/2011 08:55, ??? wrote:
> exp list which represents actual parameters contains only variables but
> not constants.
> For example, there is an instr as
> memset(buffer,0,LEN)
> it can only get buffer from exp list. How to do get 0 and LEN?

I'm not sure I understand your problem. In your example, the call will 
have as arguments a list of 3 expressions. Constants are expressions as 
well (introduced by the constructor Const).

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile