小水的博客

博客目标完成对oyente代码的阅读和解析，主要是针对函数full_sym_exec以及内部的部分。完成对控制流图的完整概念理解。完成对z3进行约束求解的理解。1. 控制流图的概念1.1. 基本块(basic block)基本块是一个最大化的指令序列，程序执行只能从这个序列的第一条指令，从这个序列的最后一条指令退出。构建基本块的三个原则：遇到程序、子程序的第一条指令或语句，结束当前基本块，并将该语句作为一个新块的第一条语句。遇到跳转语句、分支语句、循环语句、将该语句作为当前块的最后

代码地址https://github.com/MrWater98/backdoors101论文地址https://arxiv.org/abs/1807.00459https://arxiv.org/abs/2005.03823代码阅读目标清楚概括代码运行过程。能将代码和论文相对应。收集目前还不了解的内容。只阅读和联邦学习相关的内容代码结构│ attack.py│ helper.py│ requirements.txt│ training.py├─config