待办事项

最近事有点多,捋一下。

O1:毕业设计

时间节点:3月1号交中期报告,3月31号交论文初稿。

KR:构建依赖图

暂定控制依赖和数据依赖,后续可完善函数调用和函数返回。

O:构建控制依赖关系

—-初步构建—-

现存问题:

  • 节点粒度:基本块,语句
  • 图基座:ir,源码

O:构建数据依赖关系

—-初步构建—-

分为状态依赖,局部依赖,暂时不考虑全局变量。

现存问题:

  • 依赖关系缺失:当指令后跟变量时,变量追溯存在缺陷

O:构建函数调用关系

待定,已初步构建。

O:构建函数返回关系

待定,已初步构建。

KR:定义切片准则

待定,现考虑CALL,CALLER和CALLVALUE指令。

KR:切片算法

待定,书上为后向切片。

O2:DePIN项目

时间节点:3月1号出成品。

KR:官网

已有样式,全静态网站。

KR:APP

—-参与—-

参考helium钱包app,未确定功能和文档,周二开会讨论。

KR:矿机

已确定大致功能,待确定具体硬件模块。

KR:质押界面

已有样式,类似流支付协议界面。

KR:合约

—-参与—-

未确定接口,至少有质押合约。

O3:升学

时间节点:去年2月10号开始报名,3月23号交材料,3月28号面试。

KR:材料准备

待定,2月准备。

KR:面试准备

数学、专业知识和项目经历。

O:高数

已开始准备。

O:概率论

O:线性代数

O:408

O:项目经历

O4:MultiGo

时间节点:无

KR:基本玩法设计

KR:单机demo

KR:联机demo