[erlang-questions] Dialyzer error

Vlad Dumitrescu <>
Wed Nov 26 16:16:06 CET 2008


Hi!

I'm trying to use the latest dialyzer to analyze the R11 code. It
looks like it doesn't work, is there anything I can do or is it not
supported?

best regards,
Vlad


C:\Apps\erlide>c:\apps\erl5.6.5\bin\dialyzer.exe  --build_plt --plt
std.plt -r c:\apps\erl5.5.5\lib\stdlib-1.14.5
c:\apps\erl5.5.5\lib\kernel-2.11.5
  Creating PLT std.plt ...
Analysis failed with error: Could not scan the following file(s):
[{"c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/io_lib_pretty.beam",
                                        "  Could not get core for:
c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/io_lib_pretty.beam"},

{"c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/io_lib.beam",
                                        "  Could not get core for:
c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/io_lib.beam"},

{"c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/eval_bits.beam",
                                        "  Could not get core for:
c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/eval_bits.beam"},

{"c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/ets.beam",
                                        "  Could not get core for:
c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/ets.beam"},

{"c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/erl_eval.beam",
                                        "  Could not get core for:
c:/apps/erl5.5.5/lib/stdlib-1.14.5/ebin/erl_eval.beam"},

{"c:/apps/erl5.5.5/lib/kernel-2.11.5/ebin/erlang.beam",
                                        "  Could not get core for:
c:/apps/erl5.5.5/lib/kernel-2.11.5/ebin/erlang.beam"}]
Last messages in log cache: ["Reading files and computing callgraph... "]

dialyzer: Internal problems were encountered in the analysis.



More information about the erlang-questions mailing list