CertiK部署自动智能合同审核工具

安全公司CertiK周四宣布推出QuickScan，这是一种用于扫描智能合约中漏洞的自动工具。

虽然它不是独立工具，但该套件旨在改进由CertiK Chain（CTK）的安全性预兆执行的分析。 QuickScan使用静态和动态分析技术检查已知漏洞的数据库，以检查已部署的智能合约，该技术会检查每个智能合约的字节码，源代码和访问参数。

CertiK首席运营官Daryl Hok表示，智能合同分析可以在不到一个小时的时间内完成。 该系统将安全评分分配给每个不同的区域，并将其汇总以表示总体评估。

该系统将成为CertiK Chain内置的安全审核系统的一部分。 区块链引入了安全预言的概念，这是一种用于审核智能合约的更快，更细化的系统。 最初的设计依赖于由安全公司和作为甲骨文的专家进行的手动分析，而QuickScan则试图使该过程的一部分自动化。

Hok指出，这样的系统不会取代人工分析，而正式审核对于安全性评估仍然至关重要。 尽管如此，自动扫描仪仍可以帮助您摘下悬垂度最低的水果，或者作为指导，以了解在何处可以使用更深的外观。

QuickScan是一项专有设计，仅适用于CertiK客户端或安全性oracle用户。 该团队没有说明是否有扩大部署的计划。

CertiK是在区块链领域工作的几家安全审计公司之一，最近与Binance建立了合作伙伴关系，以审计Smart Chain项目。 它也可以在币安的内部收益农业平台Launch Pool上使用。

—-

原文链接：https://cointelegraph.com/news/certik-deploys-automated-smart-contract-auditing-tool

原文作者：Cointelegraph By Andrey Shevchenko

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。