anchor.diff:              throw({dialyzer_error, Error})
       end.
   
  +modules_to_files(Modules, EbinDir) ->
  +    Ext = code:objfile_extension(),
  +    Mod2File = fun(Module) -> module_to_file(Module, EbinDir, Ext) end,
  +    rebar_utils:filtermap(Mod2File, Modules).
  +
  +module_to_file(Module, EbinDir, Ext) ->
  +    File = filename:join(EbinDir, atom_to_list(Module) ++ Ext),
  +    case filelib:is_file(File) of
  +        true ->
  +            {true, File};
  +        false ->
  +            ?CONSOLE("Unknown module ~s", [Module]),
  +            false
  +    end.
  +
   read_plt(_State, Plt) ->
       case dialyzer:plt_info(Plt) of
           {ok, Info} ->
  
positive.code:             false
      end.
  
  apps_to_files(Apps) ->
      lists:flatmap(fun app_to_files/1, Apps).
  
  app_to_files(App) ->
      AppName = ec_cnv:to_atom(rebar_app_info:name(App)),
      {_, Files} = app_name_to_info(AppName),
      Files.
  
  modules_to_files(Modules, EbinDir) ->
      Ext = code:objfile_extension(),
      Mod2File = fun(Module) -> module_to_file(Module, EbinDir, Ext) end,
      rebar_utils:filtermap(Mod2File, Modules).
  
  module_to_file(Module, EbinDir, Ext) ->
      File = filename:join(EbinDir, atom_to_list(Module) ++ Ext),
      case filelib:is_file(File) of
          true ->
              {true, File};
          false ->
              ?CONSOLE("Unknown module ~s", [Module]),
              false
      end.
  
  app_names_to_files(AppNames) ->
      ToFiles = fun(AppName) ->
                        {_, Files} = app_name_to_info(AppName),
                        Files
                end,
      lists:flatmap(ToFiles, AppNames).
  
  app_name_to_info(AppName) ->
      case code:lib_dir(AppName) of
          {error, _} ->
  
negative.code:                                   default_plt_apps()),
      app_names_to_files(BasePltApps).
  
  app_names_to_files(AppNames) ->
      ToFiles = fun(AppName) ->
                        {_, Files} = app_name_to_info(AppName),
                        Files
                end,
      lists:flatmap(ToFiles, AppNames).
  
  update_base_plt(State, BasePlt, BaseFiles) ->
      ?INFO("Updating base plt...", []),
      case read_plt(State, BasePlt) of
  