DefectChecker：基于EVM字节码分析的智能合约缺陷检测自动化

2024-10-30-

2026-10-25

论文阅读

静态代码分析区块链智能合约以太坊合约缺陷检测字节码分析符号执行

MEV和套利

2024-10-20-

2026-10-25

MEV

区块链最大可提取价值(MEV)

SmartAxe：基于细粒度静态分析检测桥接智能合约中的跨链漏洞

2024-10-07-

2026-10-25

论文阅读

静态代码分析区块链

SmartState：通过细粒度状态依赖分析检测智能合约中的状态回退漏洞

2024-09-04-

2026-10-25

论文阅读

静态代码分析区块链

12 完全性与近似完全性

2024-08-10-

2026-10-25

静态代码分析

静态代码分析

11 CFL 可达与 IFDS

2024-08-09-

2026-10-25

静态代码分析

静态代码分析

10 基于 Datalog 的程序分析

2024-08-07-

2026-10-25

静态代码分析

静态代码分析