• [Erlang03]Erlang有哪些好用的静态分析工具?


    1. dialyzer

      Dialyzer starts its analysis from either debug-compiled BEAM bytecode or from Erlang source code.

      Dialyzer 可以分析*.erl和有debug-info的BEAM, Dialyzer提供GUICommand Line两种模式,推荐使用command line模式.

      使用步骤:

       1.1 设置PLT(Persitent Lookup Table),用于存放分析结果,推荐建立PLT加入OTP Applications 和你经常使用的Applications时

       最少的PLT路径应该是这样的:

    dialyzer --build_plt -r $ERL_TOP/lib/stdlib/ebin
                                $ERL_TOP/lib/kernel/ebin 
                                $ERL_TOP/lib/mnesia/ebin

       Dialyzer 会把PLT放在一个$DIALYZER_PLT目录下,如果找不到,就会入在$HOME/.dialyzer_plt 这个路径也可以用—plt 或—output_plt 选项设置。

      1.2 分析命令:

    %% 可以分析单个文件,目录下文件,或一个Applications
    >dialyzer test.erl
    >dialyzer  -r Dir
    >dialyzer -apps Applications

    1.3 为什么会需要这个工具?

       Erlang不是一个强类型语言,所以基本上编译时不会像c++那样去严格检查函数的输入输出类型啊,这带来的好处就是:

    foo(X) when is_integer(X) -> X + 1.
    foo(X) -> list_to_atom(X).

    以上这个例子在其它强类型语言也可以实现,但是总是要自己去骗下编译器,说这个能过什么的!!!但是erlang这样写函数是很正常的行为,这也是动态编译带来的好处之一,

    通常的analyzers会尽量保证在运行期间也不会出错,如果Erlang也这样做,就会change it semantics.  两都不可兼得啊!

    于是,就有了团队开发了dialyzer,于是世界和平啦…….

    2 coverage

        Todo.悲伤

  • 相关阅读:
    nth-child与nth-of-type
    改变事件绑定的this的问题
    瀑布流的一些CSS实现方式
    事件捕获与冒泡的再探
    为学
    ECharts导出word 图表模糊失真
    垂直对齐:vertical-align:super属性
    Vuex- Action的 { commit } {commit}是什么写法
    修改对象中的属性名
    echarts 角度渐变环形图心得
  • 原文地址:https://www.cnblogs.com/zhongwencool/p/3719388.html
Copyright © 2020-2023  润新知