On Wed, Jul 17, 2013 at 03:32:51PM +0800, tsuletgo wrote:
> Luckily, i find there is a variable in usedef.ml which may treat some variable
> as a definition:
> (** Say if you want to consider a variable def *)
> let considerVariableDef: (varinfo -> bool) ref =
> ref (fun _ -> true)
> Am i misun
Hi, CIL world
I have a question on the usedef module in CIL. Maybe someone could give me some
help.
I want to consider the formal parameters of a function as a variable definition
when finding use/def associations through the reaching definition module.
But i find CIL does not consider it as a d
