[CIL users] incomplete program analysis

I would like to use some existing CIL-based transformation to analyze some specific if statements in isolation, in particular I don't know the types of the variables involved... is possible to obtain from CIL an AST of a C fragment? Mauro -- Computer science is no more about computers than astro

Re: [CIL users] CIL grammar

On Tue, Jul 14, 2009 at 09:13:10AM +0530, Shrawan Kumar wrote: > Where can I find the grammar (language definition) of CIL (the simplified > subset of C). http://manju.cs.berkeley.edu/cil/api/Cil.html Regards, -- Gabriel Kerneis -

Re: [CIL users] different kinds of statement from Cil.stmtkind

On Tue, Jul 14, 2009 at 05:19:52PM -0400, Stephen Magill wrote: > Cil.Instr([Cil.Call(None, Cil.Lval (Var v, NoOffset), [Const > Int64.zero], loc)]) -> > if v.name = "exit" then ... ^^^ there is a typo here, it's v.vname This could be rewritten: Cil.Instr([Cil.Call(None, Cil.Lval (V