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