let dot_cfg cfg =
  let kf = Cil2cfg.cfg_kf cfg in
  let kf_name = Kernel_function.get_name kf in
  let dotname = kf_name^".cfg" in
    cfg_dot "cfg" dotname cfg None