Hi, On Wed, May 23, 2012 at 11:22:23PM +0530, srikanth vaindam wrote: > A Call instruction in CIL is: Call(lval, exp, explist, loc) where exp is the > name of the function that is being called. So, I want to compare this exp > with a string "sum" (which is the name of the function I am interested in).
I usually use the following pattern matching: match instr with | Call(_, Lval(Var { vname = name }, None), _, _) where name = "sum" -> ... | _ -> ... It might not cover weird cases where your expression is *not* a simple variable but it is often enough for my purposes. Best regards, -- Gabriel ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users