以太坊智能合约静态分析 oyente 执行过程 https://paper.seebug.org/790/ Ethereum Virtual Machine Opcodes 查询EVM Opcode https://ethervm.io/ z3-solver z3-solver的使用方法 https://risuxx.github.io/2020/09/22/z3-solver/

Trie Tire的作用 高效的存储和查找字符串集合的数据结构 存储&查找方式 查找的时候可以按照路径结合标记的方式进行查找 题目实例 Trie字符串

并查集 并查集的作用 将两个集合合并。 询问两个元素是否在一个集合当中。 并查集可以在近乎O(1)的时间复杂度完成这个操作。 基本原理 每个集合用一颗树

oyente工具安装 注意 ① python 的版本要大于 3.5，如果同时有 python2 和 python3，所有命令使用 python3 和 pip3。 ② Oyente 目前只支持 0.4.19 以下的 solidity 版本，最好的

python数据序列集合——求交集、并集、差集 1、什么是集合 集合（set）是一个无序的不重复元素序列。 ① 天生去重 ② 无序 2、集合的定义 在pyt