--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on December 2011 ---
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>