Module ClangFrontend.CMockPointerSubst

val process : IR.Cfg.t -> string -> unit