米斯里鲁 swMATH ID: 37686 软件作者： ConsenSys公司 说明： Mythril是EVM字节码的安全分析工具。它检测为以太坊、海德拉、Quorum、Vechain、Roostock、Tron和其他EVM兼容区块链构建的智能合约中的安全漏洞。它使用符号执行、SMT解决和污点分析来检测各种安全漏洞。它还用于MythX安全分析平台（与其他工具和技术结合使用）。 主页： https://mythx.io 源代码： https://github.com/ConsenSys/mythril网站 相关软件： 曼蒂科尔;Why3号机组;solgraph（solgraph）;EthVer公司;github;WhyML公司;伊莎贝尔/HOL;棱镜 引用于： 1文件 1位作者引用 1 尤卡斯·马祖雷克 0连载引用 在2个字段中引用 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文