遍历所有的节点处理变量读写关系的示例
1.理解数据依赖性的概念。 2.在源代码分析时,可以从用户的输入跟踪受影响的合约变量。
节点、表达式与IR的是什么样的关系?如何根据代码生如何提取出IR指令?在遍历节点时,有哪些对象经常用到。
介绍Slither中Function对象常用的方法及应用示例
Contract对象常用方法分析及应用示例
slither API中常用对象结构解析
DeFi借贷概念 3 - 如何使用协议代币激励用户存款
在本文中,通过 7 个任务,如何来编写可升级合约,测试以及自动、活动实施升级。 在 7 个任务中,分别介绍了可升级合约可能遇到的各种情况: 在新实现合约中添加函数、添加状态变量、修改状态变量可见性(修改函数)。
Solidity有两种模式实现升级:透明代理与UUPS代理, 他们的实现由细微差别,本文一起来看一看。
对比使用mapping、默克尔树、及离线签名 3 中方式处理白名单的优缺点。