月度存档: 12月 2018

继续学习LLVM

今天继续学习LLVM和z3。z3也好用。

学习LLVM

今天开始看《编译原理专题训练》第三次实验, 要用LLVM和z3来检测缓冲区溢出的 …

继续阅读 »

继续阅读论文

今天继续阅读论文。

阅读论文

今天开始阅读实验室学长写的一篇论文。

《嵌入式系统》作业突击检查

前几天《嵌入式系统》老师说今天要来检查我们的大作业。 我已顺利完成检查, 其他大 …

继续阅读 »

完成网安实验

今天完成了网安实验四。 另外, 今天上午和某室友一起与信息化技术中心有关老师汇报 …

继续阅读 »

继续实验

今天继续写网安实验报告, 周五截止。

继续网安实验

今天继续完成网安实验, 上午和室友发现并利用了一处安全漏洞(我负责录像), 下午 …

继续阅读 »

SSA和Z3

今天《编译原理专题训练》课讲了SSA和Z3, 然后由助教哥哥进行了期中考试试卷讲 …

继续阅读 »

收到感谢信一封

今天收到Vijos用户的感谢信一封。

阅读论文 完成作业

今天继续阅读了堆风水的论文, 此外完成了《编译原理专题训练》的作业。