@slither
基于 Slither (slither-analyzer v0.11.5) 的技能,从 resources/slither 生成。文档路径:sources/slither/docs/src/ 和 repo README。