Slither语言服务器

如何安装

从项目根目录运行以下命令（最好在Python虚拟环境中运行）

python -m pip install .

功能

• 转到实现/定义
• 查找所有引用
• 显示调用层次结构
• 显示类型层次结构
• 查看和过滤检测结果

添加新功能

新请求处理程序应注册在 SlitherServer的构造函数中。请注意，为了将概念负载保持在最低，处理程序不应直接在SlitherServer类中声明。相反，相关的处理程序应在单独的模块中声明。例如，请参阅 goto_def_impl_refs.py。

Slither语言服务器使用 pygls 作为LSP实现，您在编写新处理程序时应参考其文档。

如果您为标准LSP功能添加处理程序，则无需在VSCode扩展方面进行任何操作：VSCode将自动将其命令挂钩以使用提供的功能。

另一方面，如果您尝试添加的功能没有映射到标准LSP功能，则需要注册一个自定义处理程序。以$/slither/analyze为例：注意每个请求名称前都带有$/slither/前缀。您需要手动从VSCode扩展发送请求来触发这些处理程序。