<div dir="ltr">Hi.<div><br></div><div>I'm applying dialyzer to my project and still have a bunch of warnings whose origin I can't seem to figure out.</div><div><br></div><div><div>Unknown functions:</div><div>  cover:compile_beam/1</div>
<div>  cover:compile_beam/2</div><div>  cover:compile_module/2</div><div>  cover:export/2</div><div>  cover:get_term/1</div><div>  cover:import/1</div><div>  cover:is_compiled/1</div><div>  cover:module_info/1</div><div>  cover:write/2</div>
<div>  eprof:analyze/1</div><div>  eprof:log/1</div><div>  eprof:start/0</div><div>  eprof:start_profiling/1</div><div>  eprof:stop_profiling/0</div><div>  packages:last/1</div><div>  packages:strip_last/1</div><div>  xref:add_application/3</div>
<div>  xref:analyze/2</div><div>  xref:set_default/3</div><div>  xref:set_library_path/2</div><div>  xref:start/2</div><div>  xref:stop/1</div></div><div>Unknown types:</div><div>  ...</div><div><br></div><div>I'm using the following to generate the PLT:</div>
<div><br></div><div>dialyzer --build_plt --verbose --statistics -Wunmatched_returns -Werror_handling -Wrace_conditions -Wunderspecs -Woverspecs -Wspecdiffs -r deps --apps ebin asn1 compiler crypto erts hipe inets kernel public_key runtime_tools sasl ssl stdlib syntax_tools xmerl edoc eunit gs mnesia -I include<br>
</div><div><br></div><div>Does anybody know how to solve this (I don't want to ignore the warnings) or could probably point me in the right direction so that I can figure it out?</div><div><br></div><div>Thanks.</div>
<div><br></div><div>Cheers.</div><div><br></div><div>- Paulo F. Oliveira</div></div>