let run () =
  let names = Value_parameters.NoResultsFunctions.get () in
  if Value_parameters.NoResultsAll.get() ||
    not (Datatype.String.Set.is_empty names)
  then
    let visitor = new mark_visitor in
    Globals.Functions.iter_on_fundecs
      (fun afundec ->
        if Value_parameters.NoResultsAll.get() ||
          Datatype.String.Set.mem afundec.svar.vname names
        then
          ignore (Cil.visitCilFunction (visitor:>Cil.cilVisitor) afundec);)