区块链安全
【技术分享】针对比特币钱包App的三种漏洞攻击与对策
如今，比特币是最受欢迎的加密货币。随着智能手机和高速移动互联网的普及，越来越多的用户开始在智能手机上访问其比特币钱包。用户可以在智能手机上下载并安...
（六）指向分析
程序分析中的敏感性 看到一篇总记得比较有条理的博客：华为云社区的《静态代码分析敏感性概念》，本小节（程序分析中的敏感性）的内容全部来自该博客，本人只...
（五）过程间分析
之前我们所有的分析都是没有函数调用的，也就是之前考虑的情况都是「过程内」的调用。本章将会考虑函数调用，开始「过程间」分析（Whole Program Analysis 或...
（四）静态单赋值和稀疏分析
上一篇文章：（三）Datalog 和程序分析 下一篇文章：（五）过程间分析 简介 这一章是对数据流分析的拓展和补充，基本内容如下： 首先从 Def-Use ...
零字节地址能节省 Gas – 深⼊理解以太坊 Gas 机制
前言前段时间在 Etherscan 上查看交易时，发现一个很有趣的地址：0x00000000a03396F6F864B496713f2623b6756Be2。这个地址是以 0x00000000 开头，抱着探索的心...
（三）Datalog和程序分析
上一篇文章：（二）数据流分析基础 下一篇文章：（四）静态单赋值和稀疏分析 前言 笔者在学习 Datalog 之前，已经学习过数据流分析，也学习过一门...
（二）数据流分析基础
上一篇文章：（一）初识软件分析 下一篇文章：（三）Datalog 和程序分析 数据流分析 基本思想：程序视作状态和状态的转移两部分组成，忽视状态转移的条件，...
Aptos 空投分析
A Safe, Scalable, and Upgradeable Web3 Infrastructure &nb...
（一）初识软件分析
下一篇文章：（二）数据流分析基础 这篇文章，或者说软件分析这一个系列更像是学习笔记，绝大部分内容来自于“北大-熊英飞-软件分析”，以及南大的静态分析课程...
根据应用修改的竞赛题目-uniswap篇
一：以太坊应用在2018年之后，以太坊的实际应用开始落地，如uniswap这类AMM，还有DAO这种去中心化自治组织。而现实中的安全事件也大多为对以太坊应用的攻击。...