全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

08.slither中数据依赖检测示例

in  Slither漏洞扫描框架使用(初级篇)
1.理解数据依赖性的概念。 2.在源代码分析时，可以从用户的输入跟踪受影响的合约变量。
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 2749 )

06. Slither中间语言SlitherIR理论介绍

in  Slither漏洞扫描框架使用(初级篇)
节点、表达式与IR的是什么样的关系？如何根据代码生如何提取出IR指令？在遍历节点时，有哪些对象经常用到。
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 3270 )

05.Slither Function对象常用方法分析使用示例

in  Slither漏洞扫描框架使用(初级篇)
介绍Slither中Function对象常用的方法及应用示例
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-28
  • 阅读 ( 2866 )

04.Slither Contract对象常用方法分析及应用示例

in  Slither漏洞扫描框架使用(初级篇)
Contract对象常用方法分析及应用示例
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-28
  • 阅读 ( 2894 )

Aptos Move合约中最常见的10种Bug

zellic 整理在审计过程把不断地看到Bug ，方便我们审视自己的Move合约。
Aptos  Move  智能合约 

Ethernaut 题库闯关 #25 - Motorbike

in  Ethernaut 题库闯关 - 精进 Solidity
Ethernaut 题库闯关 #25 - Motorbike
Ethernaut 

解析 Tornado 治理攻击 - 如何同一个地址上部署不同的合约

Tornado 治理攻击的关键是在提案通过后，在被执行的提案地址被销毁了 之后部署了一个攻击合约。
DeCert  治理攻击  CREATE  create3 
  • DeCert.me
  • 发布于 2023-06-02
  • 阅读 ( 4113 )
  • ( 80 )

智能合约安全 - 常见漏洞（第四篇）

智能合约安全 - 常见漏洞（第四篇）
区块链安全  漏洞分析  智能合约 

智能合约安全 - 常见漏洞（第三篇）

智能合约安全 - 常见漏洞（第三篇）
区块链安全  漏洞分析  智能合约 

智能合约安全 - 常见漏洞（第一篇）

这个智能合约安全系列将归纳总结 Solidity 智能合约开发过程中容易反复出现的问题和漏洞。
Solidity  漏洞分析  智能合约 

构建一个智能合约模糊测试工具，既有趣又有利可图

本文介绍了作者如何构建一个基于属性测试的工具 fuzzing-like-smarter-degen，用于检测智能合约中的漏洞。文章详细讨论了传统的单元测试的局限性，并介绍了模糊测试（fuzzing）的原理及其在智能合约安全检测中的应用。作者还介绍了如何通过假设库（Hypothesis）实现模糊测试，并展示了该工具的运行效果。
模糊测试  智能合约  漏洞检测  属性测试  Hypothesis  以太坊 
  • jat9292
  • 发布于 2023-04-15
  • 阅读 ( 1039 )

什么时候会发生重入攻击

什么时候会发生重入攻击
Solidity  重入攻击 

智能合约安全审计入门篇 —— 移花接木

本期我们来带大家了解一下如何识别在合约中隐藏的恶意代码。
安全审计  智能合约 

关于审计技术和工具 101事

区块链项目代码审计必不可少，看看有哪些方式可以让我们的项目更安全。
安全审计 

智能合约安全审计入门篇 —— Phishing with tx.origin

我们一起来了解智能合约中基于 tx.origin 的钓鱼攻击。
安全技术研究  tx.origin  钓鱼攻击  智能合约 

复盘 | OmniX NFT 平台被黑分析

据慢雾安全团队情报，2022 年 7 月 10 号，OmniX NFT 平台遭受闪电贷攻击。慢雾安全团队现将简要复盘分析分享如下。
安全技术研究 

BNB CrossChain Bridge 被黑简析

2022 年 10 月 7 日，BNB Chian 跨链桥 BSC Token Hub 遭遇攻击。黑客利用跨链桥漏洞分两次共获取 200 万枚 BNB，超 5.7 亿美元。
安全技术研究  BNB Chain 

智能合约安全审计入门篇 —— 拒绝服务

了解一个既存在于传统网络安全又存在于智能合约安全中的问题——拒绝服务。
安全技术研究  智能合约 

Ethernaut 题库闯关 #24 - Double Entry Point

in  Ethernaut 题库闯关 - 精进 Solidity
Ethernaut题库闯关连载的第24篇
Ethernaut  智能合约安全 

慢雾解读 | 区块链分叉带来的安全挑战

本文主要探讨的是硬分叉，一种不支持向后兼容的软件升级方式。
区块链分叉