待办事项
最近事有点多,捋一下。
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
时间节点:无