goblint-cil.zrapp
Reachingdefs.rdVisitorClass
goblint-cil
goblint-cil.dataslicing
goblint-cil.liveness
goblint-cil.makecfg
goblint-cil.pta
goblint-cil.syntacticsearch
inherit Cil.nopCilVisitor
val mutable sid : int
val mutable rd_dat_lst : (unit * int * IOS.t IH.t) list
val mutable cur_rd_dat : (unit * int * IOS.t IH.t) option
method vstmt : Cil.stmt -> Cil.stmt Cil.visitAction
method vinst : Cil.instr -> Cil.instr list Cil.visitAction
method get_cur_iosh : unit -> IOS.t IH.t option