我们希望为Elixir开发一个static code analyser，以便检测并发问题(主要是死锁和竞争条件)。我们对分析器的结构有一些基本概念，但我们的问题是哪个AST更适合这项任务。正如我们所理解的，Elixir编译过程创建了扩展的Elixir AST、Abstract Erlang格式和Core Erlang。
我的问题是，扩展的Elixir AST和Core Erlang哪个更适合创建调用图和控制流图。如果我们使用Core Erlang，是否可以从Core Erlang向后查找分析器所识别问题的Elixir代码中的源代码？
如果有人对此有所了解，我们将非常感谢您的帮助。:)
转载请注明出处:http://www.eluwawa.com/article/20230526/955627.html