--- layout: fc_discuss_archives title: Message 38 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?



Hi,

  I found that in type instr
                               Call of lval option * exp * exp list *
location

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?

Henry.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111209/4ba79fa2/attachment.htm>