2017-04-04 66 views
0

運行透析器我有一個標準的目錄設置的OTP應用:二郎:你的整個應用程序

config/ 
log/ 
doc/ 
src/ 
_build/ 
rebar.config 

我能夠在一個src文件中像dialyzer src/source_name.erl運行透析器。但這是沒用的,因爲src/foo1中的函數X可能會調用src/foo2中的函數Y,並且您要確保X將正確類型的參數傳遞給Y.

如何使用dialyzer檢查所有交互之間我/src回購函數調用?

回答

0

OK,我找到了解決辦法是:

  1. 與+編譯DEBUG_INFO
  2. 遞歸分析光束目錄,而不是src下

編譯我的命令後,

dialyzer -r _build/default/lib/myappname/ebin/ 
0

你也可以試試這個:

dialyzer --src -r . 

或者這樣:

dialyzer --src -r src 

爲了遞歸地分析當前目錄的源代碼或src目錄

+0

當我嘗試這樣做,我遇到了另一個錯誤,這表示要解決這個錯誤,使用.beam:http://stackoverflow.com/questions/16723253/how-to-use-dialyzer-with-parse-transform-modules – Tommy