非影资讯
P非影 English
面向安全从业者的中英双语安全研究与漏洞情报精选。

Solidity 编译器：内存安全

osec.io | 博客 | #memory-safety | #compiler | #solidity | #evm | #yul | #inline-assembly

摘要

OtterSec 剖析 Solidity 编译流程与 YUL 优化器假设，解释 memory-safe 汇编究竟提供哪些保证，以及内联汇编何时会破坏这些保证。
发布时间
收录时间

原文 ↗

相关内容

  1. 编译器漏洞引发编译器漏洞：一个 12 年的 g++ 漏洞如何击垮 Solidity (osec.io)
  2. 用模糊测试工具破解 Solidity 编译器 (blog.trailofbits.com)
  3. 使用 Echidna 进行状态机测试 (blog.trailofbits.com)
  4. Echidna：面向以太坊的智能模糊测试器 (blog.trailofbits.com)
  5. 漏洞赏金中的智能合约入门 (yeswehack.com)
  6. Solidity 中的 Gas 优化 (hackenproof.com)

返回