针对 Solidity 和 Vyper 智能合约的静态分析器,能在部署前自动检测漏洞、代码异味和规范问题,帮审计和开发人员提前排雷。
…ull/2872 Fix external call classification for Yul/Vyper by @edlsh in https://github.com/crytic/slither/pull/2938 feat: add msg-value-in-nonpayable detector by @ep0chzer0
…ther/pull/2863 Fix aliasing of member access with Vyper's builtins when parsing an expression by @smonicas in https://github.com/crytic/slither/pull/2861 Fix parsing of m