ZONE.CI 全球网

本文介绍SolidityDetectionv1.1智能合约安全漏洞检测工具，基于SmartCheck理论开发，通过XML中间表示、XPath规则库和漏洞匹配三大模块实现26种漏洞检测，共56个XPath模式。工具主要支持Solidity0.4至0.6版本，不支持0.8及以上版本。文章提供了详细的漏洞规则表、命令行参数说明及获取方式，但需关注公众号回复关键字下载。

本文介绍SolidityDetectionv1.1智能合约安全漏洞检测工具，基于SmartCheck理论开发，通过XML中间表示、XPath规则库和漏洞匹配三大模块实现26种漏洞检测，共56个XPath模式。工具主要支持Solidity0.4至0.6版本，不支持0.8及以上版本。文章提供了详细的漏洞规则表、命令行参数说明及获取方式，但需关注公众号回复关键字下载。

本文介绍SolidityDetectionv1.1智能合约安全漏洞检测工具，基于SmartCheck理论开发，通过XML中间表示、XPath规则库和漏洞匹配三大模块实现26种漏洞检测，共56个XPath模式。工具主要支持Solidity0.4至0.6版本，不支持0.8及以上版本。文章提供了详细的漏洞规则表、命令行参数说明及获取方式，但需关注公众号回复关键字下载。

本文介绍SolidityDetectionv1.1智能合约安全漏洞检测工具，基于SmartCheck理论开发，通过XML中间表示、XPath规则库和漏洞匹配三大模块实现26种漏洞检测，共56个XPath模式。工具主要支持Solidity0.4至0.6版本，不支持0.8及以上版本。文章提供了详细的漏洞规则表、命令行参数说明及获取方式，但需关注公众号回复关键字下载。

本文介绍SolidityDetectionv1.1智能合约安全漏洞检测工具，基于SmartCheck理论开发，通过XML中间表示、XPath规则库和漏洞匹配三大模块实现26种漏洞检测，共56个XPath模式。工具主要支持Solidity0.4至0.6版本，不支持0.8及以上版本。文章提供了详细的漏洞规则表、命令行参数说明及获取方式，但需关注公众号回复关键字下载。

文章总结： 2026年8月10日全球安全动态涵盖AI系统、身份认证与软件供应链攻击事件。关键发现包括Kimsuky利用离线AI技术栈提升钓鱼能力、新型Passk

文章总结： 本文介绍SolidityDetectionv1.1智能合约安全漏洞检测工具，基于SmartCheck理论开发，通过XML中间表示、XPath规则库和

文章总结： 本文介绍SolidityDetectionv1.1智能合约安全漏洞检测工具，基于SmartCheck理论开发，通过XML中间表示、XPath规则库和

文章总结： Flounder是一款自主式白帽安全审计工具，通过AI模型实现从目标准备到漏洞报告的全流程自动化。其核心能力包括自主审计循环、与框架无关的推理、基于

文章总结： 本文系统梳理Solidity智能合约常见漏洞类型，包括重入攻击、整数溢出、访问控制缺失等，并提供审计工具链与修复方案，强调安全审计对Web3项目的重

文章总结： 2026年1月9日Truebit协议因智能合约计算公式缺陷遭受黑客攻击，损失约2600万美元。漏洞源于0.6.10版本Solidity缺乏溢出保护机

文章总结： Medusa是由TrailofBits开发的开源智能合约模糊测试工具，基于go-ethereum构建，专门用于检测Solidity合约中的漏洞。文档

文章总结： 文档介绍了HerSolidity30天线上共学招募活动，旨在帮助女性学习Web3编程语言Solidity以打破技术性别鸿沟。活动定于10月20日至1

文章总结： HerSolidity第6.5期30天线上共学营开启招募，旨在帮助女性从零掌握Solidity智能合约开发与Web3工具。课程强调技术赋权，通过每日

文章总结： HerSolidity第6.5期30天线上共学营开启招募，旨在帮助女性从零掌握Solidity智能合约开发与Web3工具。课程强调技术赋权，通过每日

文章总结： 文档介绍了HerSolidity30天线上共学招募活动，旨在帮助女性学习Web3编程语言Solidity以打破技术性别鸿沟。活动定于10月20日至1

文章总结： 2026年1月Truebit协议因购买合约整数溢出漏洞遭攻击，损失约2600万美元。攻击者利用Solidity0.5.3未受保护的加法运算，通过超大

文章总结： 本文分析Truebit协议因Solidity0.6.10整数溢出漏洞导致2600万美元损失的事件。攻击者利用定价计算溢出缺陷零成本购入TRU并高价赎

文章总结： TruebitProtocol遭攻击损失约2644万美元，根因是Purchase合约在Solidity0.6.10下未对加法使用SafeMath，致

文章总结： 工信部监测发现SleepyDuck恶意软件攻击使用代码编辑器的开发者。该RAT通过名称抢注伪装成Solidity工具，利用以太坊区块链合约实现高级持

以太坊是一种开源的区块链平台，其在智能合约领域有着广泛的应用。作为一名专业的Golang开发者，了解并掌握以太坊的开发是非常重要的。本文将介绍如何使用Golan

文章总结： 工信部CSTIS预警SleepyDuck恶意软件，它伪装成Solidity扩展攻击Cursor等开发者。该RAT通过名称抢注传播，具备窃密和远控能力

文章总结： SleepyDuckRAT伪装成Solidity工具混入OpenVSX，针对Cursor/Windsurf开发者，收集主机指纹并通过以太坊合约0xD

Golang NFT开发教程在当今数字世界中，非同质化代币（Non-Fungible Token，NFT）正变得越来越流行。与传统加密货币不同，NFT标识了数字

ZKsync Era Yul 函数参数的求值顺序 (CVE-2024-35229)CVE编号
CVE-2024-35229利用情况
暂无补丁情况 N/A披露