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

Reply via email to