×

米斯里鲁

swMATH标识: 37686
软件作者: ConsenSys公司
说明: Mythril是EVM字节码的安全分析工具。它检测为以太坊、Hedera、Quorum、Vechain、Roostock、Tron和其他与EVM兼容的区块链构建的智能合约中的安全漏洞。它使用符号执行、SMT解决和污点分析来检测各种安全漏洞。它也被用于MythX安全分析平台(与其他工具和技术相结合)。
主页: https://mythx.io
相关软件: 溶剂图;埃弗;曼蒂科雷;github;为什么;原因3;伊莎贝尔/霍尔;棱镜
参考文献: 1个出版物

1位作者引用

1 马祖雷克,Łukasz

在0序列中引用

按年份引用出版物