reach

Reach 是一个用于 BEAM 项目（如 Elixir、Erlang 等）的程序依赖图和架构/代码流分析工具。它通过构建控制流、调用图、数据流、效果及 OTP 进程关系的图形来展示代码中的依赖关系，帮助开发者检查风险函数、追踪变量值、验证架构策略并生成交互式 HTML 报告。该工具支持静态分析、污点分析等多种技术特性，适用于需要进行代码审查、架构一致性检查或在发布前确保代码安全性的场景。使用 Reach 可以显著提高大型项目的可维护性和安全性。