月度存档: 12 月 2018

继续学习LLVM

作者: twd2 日期: 2018 年 12 月 11 日 没有评论 | 被围观 96 次

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

学习LLVM

作者: twd2 日期: 2018 年 12 月 10 日 没有评论 | 被围观 178 次

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

继续阅读 »

继续阅读论文

作者: twd2 日期: 2018 年 12 月 09 日 没有评论 | 被围观 77 次

今天继续阅读论文。

阅读论文

作者: twd2 日期: 2018 年 12 月 08 日 没有评论 | 被围观 81 次

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

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

作者: twd2 日期: 2018 年 12 月 07 日 没有评论 | 被围观 104 次

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

继续阅读 »

完成网安实验

作者: twd2 日期: 2018 年 12 月 06 日 1 条评论 | 被围观 83 次

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

继续阅读 »

继续实验

作者: twd2 日期: 2018 年 12 月 05 日 没有评论 | 被围观 89 次

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

继续网安实验

作者: twd2 日期: 2018 年 12 月 04 日 没有评论 | 被围观 176 次

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

继续阅读 »

SSA和Z3

作者: twd2 日期: 2018 年 12 月 03 日 没有评论 | 被围观 96 次

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

继续阅读 »

收到感谢信一封

作者: twd2 日期: 2018 年 12 月 02 日 1 条评论 | 被围观 200 次

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

阅读论文 完成作业

作者: twd2 日期: 2018 年 12 月 01 日 没有评论 | 被围观 122 次

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