Erlang/OTP Forums

cd /home/myuserid/securebackup/src/erlang/
make dialyzer.log
dialyzer --build_plt -r /usr/lib64/erlang/lib/stdlib-1.16.5 /usr/lib64/erlang/lib/kernel-2.13.5 /usr/lib64/erlang/lib/mnesia-4.4.13 /usr/lib64/erlang/lib/os_mon-2.2.5 /usr/lib64/erlang/lib/crypto-1.6.4 /usr/lib64/erlang/lib/tools-2.6.5.1 --output_plt dialyzer.plt
  Compiling some key modules to native code... done in 1m15.97s
  Creating PLT dialyzer.plt ...
Unknown functions:
  alarm_handler:clear_alarm/1
  alarm_handler:set_alarm/1
  compile:file/2
  compile:forms/2
  compile:noenv_forms/2
  compile:output_generated/1
  dbg:trace_client/3
  dbg:trace_port/2
  erl_prim_loader:get_cwd/0
  erl_prim_loader:get_cwd/1
  erl_prim_loader:list_dir/1
  erl_prim_loader:prim_get_cwd/2
  erl_prim_loader:prim_get_file/2
  erl_prim_loader:prim_init/0
  erl_prim_loader:prim_list_dir/2
  erl_prim_loader:prim_read_file_info/2
  erl_prim_loader:read_file_info/1
  erl_prim_loader:set_primary_archive/3
  erlang:integer_to_list/2
  erlang:list_to_integer/2
  erlang:max/2
  erlang:min/2
  erlang:spawn_monitor/1
  erlang:spawn_opt/5
  httpd:parse_query/1
  init:archive_extension/0
  init:code_path_choice/0
  init:ensure_loaded/1
  init:fetch_loaded/0
  init:get_argument/1
  init:get_arguments/0
  init:get_plain_arguments/0
  init:notify_when_started/1
  init:objfile_extension/0
  init:stop/0
  init:wait_until_started/0
  otp_mib:erl_node_table/3
  prim_file:altname/2
  prim_file:close/1
  prim_file:copy/3
  prim_file:del_dir/2
  prim_file:delete/2
  prim_file:get_cwd/1
  prim_file:get_cwd/2
  prim_file:list_dir/2
  prim_file:make_dir/2
  prim_file:make_link/3
  prim_file:make_symlink/3
  prim_file:open/2
  prim_file:position/2
  prim_file:read/2
  prim_file:read_file/1
  prim_file:read_file_info/1
  prim_file:read_file_info/2
  prim_file:read_link/2
  prim_file:read_link_info/2
  prim_file:rename/3
  prim_file:set_cwd/2
  prim_file:start/0
  prim_file:stop/1
  prim_file:sync/1
  prim_file:truncate/1
  prim_file:write/2
  prim_file:write_file/2
  prim_file:write_file_info/2
  prim_file:write_file_info/3
  prim_inet:accept/1
  prim_inet:accept/2
  prim_inet:bind/3
  prim_inet:chgopts/2
  prim_inet:close/1
  prim_inet:connect/3
  prim_inet:connect/4
  prim_inet:fdopen/3
  prim_inet:getfd/1
  prim_inet:gethostname/1
  prim_inet:getiflist/1
  prim_inet:getopt/2
  prim_inet:getopts/2
  prim_inet:getservbyname/3
  prim_inet:getservbyport/3
  prim_inet:getstat/2
  prim_inet:getstatus/1
  prim_inet:gettype/1
  prim_inet:ifget/3
  prim_inet:ifset/3
  prim_inet:is_sockopt_val/2
  prim_inet:listen/2
  prim_inet:open/2
  prim_inet:peername/1
  prim_inet:recv/2
  prim_inet:recv/3
  prim_inet:recvfrom/2
  prim_inet:recvfrom/3
  prim_inet:send/2
  prim_inet:send/3
  prim_inet:sendmsg/3
  prim_inet:sendto/4
  prim_inet:setopt/3
  prim_inet:setopts/2
  prim_inet:setpeername/2
  prim_inet:setsockname/2
  prim_inet:shutdown/2
  prim_inet:sockname/1
  prim_inet:unrecv/2
  prim_zip:close/1
  prim_zip:open/3
  snmp_shadow_table:table_func/2
  snmp_shadow_table:table_func/4
  snmpa:load_mibs/2
  snmpa:unload_mibs/2
  sys_pre_expand:module/2
  webtool:start/0
  webtool:start_tools/2
  webtool:stop/0
  webtool:stop_tools/2
  zlib:close/1
  zlib:crc32/1
  zlib:crc32/2
  zlib:crc32/3
  zlib:deflate/3
  zlib:deflateEnd/1
  zlib:deflateInit/2
  zlib:deflateInit/6
  zlib:inflate/2
  zlib:inflateEnd/1
  zlib:inflateInit/2
  zlib:open/0
  zlib:uncompress/1
 done in 10m33.28s
done (passed successfully)
#dialyzer --build_plt -r /usr/lib64/erlang/lib --output_plt dialyzer.plt
#dialyzer --build_plt -r /usr/lib64/erlang/lib/stdlib-1.15.4 /usr/lib64/erlang/lib/kernel-2.12.4/ /usr/lib64/erlang/lib/mnesia-4.4.5 /usr/lib64/erlang/lib/os_mon-2.1.7 /usr/lib64/erlang/lib/crypto-1.5.2.1 /usr/lib64/erlang/lib/tools-2.6.2 --output_plt dialyzer.plt
# we need to eliminate duplicate modules
# rm -f ./log4erl/src/mochinum.erl ./log4erl/ebin/mochinum.beam
dialyzer --verbose --plt dialyzer.plt -Wunmatched_returns -Wunderspecs -r . | tee dialyzer.log
  Checking whether the PLT dialyzer.plt is up-to-date... yes
  Compiling some key modules to native code... done in 1m18.07s
  Proceeding with analysis...
dialyzer: Analysis failed with error: {{case_clause,8},
 [{erl_types,t_form_to_string,1},
  {erl_types,t_form_to_string,1},
  {erl_types,t_form_to_string,1},
  {cerl_typean,pp_hook,0},
  {dialyzer_succ_typings,get_warnings,7},
  {dialyzer_analysis_callgraph,analyze_callgraph,2},
  {dialyzer_analysis_callgraph,analysis_start,...},
  {cerl_typean,...}]}
Last messages in the log cache:
  Dataflow of one SCC: [b_cfijk_runner]
  Dataflow of one SCC: [c_negotiate_storage_handler]
  Dataflow of one SCC: [restore]
  Dataflow of one SCC: [generic_handler]
  Dataflow of one SCC: [a_bras_handler]
  Dataflow of one SCC: [test_bras]
  Dataflow of one SCC: [test_crc]
  Dataflow of one SCC: [client_state]
  Dataflow of one SCC: [a_brf_handler]
  Dataflow of one SCC: [a_crc_handler]
# Uncomment the following to run a modified source version of the dialyzer on Bill's machine (currently turns on dialyzer's debugging output)
#~/tools/otp_src_R12B-4/bin/dialyzer --verbose --plt dialyzer.plt -Wunmatched_returns -Wunderspecs -r . | tee dialyzer.log

Compilation finished at Fri Feb 26 01:17:32