goblint-cil
Ciltools.attribute_checker
goblint-cil.dataslicing
goblint-cil.liveness
goblint-cil.makecfg
goblint-cil.pta
goblint-cil.syntacticsearch
goblint-cil.zrapp
inherit GoblintCil__.Cil.nopCilVisitor
method vtype : GoblintCil__.Cil.typ -> GoblintCil__.Cil.typ GoblintCil__.Cil.visitAction
method vattr : GoblintCil__.Cil.attribute -> GoblintCil__.Cil.attribute list GoblintCil__.Cil.visitAction