Re: [CIL users] Instrumenting a program with a call to function in external file

2013-03-04 Thread Gabriel Kerneis
On Sat, Mar 02, 2013 at 08:40:39PM +0530, son...@iitk.ac.in wrote: > But i am not able to create a call statement along with parameters (arguments) > any simple example would be helpful. Example to create: int tmp = foo(1, 2); inside a function bar (assuming [foo] and [bar] are of type fundec, y

Re: [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis?

2013-03-04 Thread Gabriel Kerneis
On Mon, Mar 04, 2013 at 12:04:39PM +0800, tsuletgo wrote: > By the way, apart from the tutorial "A CIL Tutorial ..." posted by Zachary > Anderson several months ago and the CIL documentation itself, is there any > available documentation which can help me understand the data flow analysis > module?