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);)