Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications.
本文提出一种名为 VetSC 的新型自动化安全审查技术,针对去中心化应用(DApps)中的智能合约。由于 DApps 的业务逻辑通常由链上合约与链下界面共同组成,传统静态分析难以直接从合约代码中提取高层业务语义,也无法自动确定需要验证的安全
今日共收录 810 条安全情报,包含 28 个 CVE,396 篇安全通告,以及 98 篇研究论文。
← 返回归档列表本文提出一种名为 VetSC 的新型自动化安全审查技术,针对去中心化应用(DApps)中的智能合约。由于 DApps 的业务逻辑通常由链上合约与链下界面共同组成,传统静态分析难以直接从合约代码中提取高层业务语义,也无法自动确定需要验证的安全
CVE-2026-64781
The issue was addressed with improved input validation. This issue is fixed in iOS 18.7.10 and iPadOS 18.7.10, iOS 26.6.
CVE-2026-65346
An integer overflow was addressed with improved input validation. This issue is fixed in iOS 26.6.1 and iPadOS 26.6.1, m
CVE-2026-65351
This issue was addressed through improved state management. This issue is fixed in iOS 26.6.1 and iPadOS 26.6.1, macOS T
CVE-2026-65338
The issue was addressed with improved memory handling. This issue is fixed in iOS 18.7.10 and iPadOS 18.7.10, iOS 26.6.1
CVE-2026-65329
An authentication issue was addressed with improved state management. This issue is fixed in iOS 26.6.1 and iPadOS 26.6.
CVE-2026-65332
This issue was addressed through improved state management. This issue is fixed in iOS 18.7.10 and iPadOS 18.7.10, iOS 2
CVE-2026-64784
An out-of-bounds access issue was addressed with improved bounds checking. This issue is fixed in iOS 18.7.10 and iPadOS
CVE-2026-65347
The issue was addressed with improved checks. This issue is fixed in iOS 26.6.1 and iPadOS 26.6.1, macOS Tahoe 26.6.2. P
CVE-2026-64787
A use-after-free issue was addressed with improved memory management. This issue is fixed in iOS 26.6.1 and iPadOS 26.6.
CVE-2026-64779
A memory corruption vulnerability was addressed with improved locking. This issue is fixed in iOS 18.7.10 and iPadOS 18.
CVE-2026-65341
The issue was addressed with improved memory handling. This issue is fixed in iOS 18.7.10 and iPadOS 18.7.10, iOS 26.6.1
CVE-2026-65333
This issue was addressed through improved state management. This issue is fixed in iOS 18.7.10 and iPadOS 18.7.10, iOS 2
CVE-2026-65330
The issue was addressed with improved memory handling. This issue is fixed in iOS 26.6.1 and iPadOS 26.6.1, macOS Tahoe
CVE-2026-65339
A logic issue was addressed with improved checks. This issue is fixed in iOS 26.6.1 and iPadOS 26.6.1, macOS Tahoe 26.6.
CVE-2026-65331
This issue was addressed through improved state management. This issue is fixed in iOS 18.7.10 and iPadOS 18.7.10, iOS 2
CVE-2026-65336
This issue was addressed through improved state management. This issue is fixed in iOS 18.7.10 and iPadOS 18.7.10, iOS 2
CVE-2026-64780
The issue was addressed with improved checks. This issue is fixed in iOS 18.7.10 and iPadOS 18.7.10, iOS 26.6.1 and iPad
CVE-2026-65349
An out-of-bounds read was addressed with improved input validation. This issue is fixed in iOS 26.6.1 and iPadOS 26.6.1,
CVE-2026-64782
A memory corruption vulnerability was addressed with improved locking. This issue is fixed in iOS 18.7.10 and iPadOS 18.