考研经历 开始动笔的时间是2022年3月29日，这一天就要成为我成长路上一个关键的时间点节点，我被交大计算机系拟录取了。 距离3月9日封校已然过去了20天，上海的疫情在这20天里面也越来越不受控制，目前大有绷不住之势； 这篇考研过程的回忆录要从哪里说起呢？就从7月份我回家给弟弟报完志愿开始说吧。我在
前言 我花了一整个下午阅读和标记这篇文章，虽说没有上一篇BUG Synthesis那么难以理解，但很多过程仍然是抽象的。 这篇文章发表于SCAM，在CCF上面查看似乎是一个C类会议，但是我觉得这篇文章其实做了不少工作。 论文提出了一个以漏洞模板、代码综合（融合）、动态分析为基础的基准测试集生成方法，
前言 这是一篇看上去复杂，实际上也很复杂的论文，它使用的概念很多、工具很多，尤其是数学上面一些等式约束逻辑有很多（这可能涉及到SAP和SMP）。正如标题所说，它的目的是为了使那些Fuzzing工具或者符号执行工具如KLEE等进行漏洞挖掘时不那么容易，从而评价一个模型的好坏。看作者的行文，它的目的还在
前言 这篇论文被BWCCA 2018收录，链接。这篇论文提出了基于符号执行，结合对宿主源程序的结构特点分析，找到潜在的漏洞可插入点，构建漏洞样本的自动化生成技术。目标是给目前发展迅速的Fuzzing技术（灰盒测试）提供基准测试集，助力漏洞挖掘技术的发展。论文采用开源项目作为测试目标，并使用一定的工具
前言 2021年对我来说很重要，这一年经历了很多，也多了很多事情，有痛苦也有欢乐。 3月份到6月份 锻炼 这一段时间也是大三的下半学期，这学期中间的时候我开始了身体锻炼，这是我今年所做的第一件极为有意义的事情。在此期间，我尽可能地减少了油和糖的摄入，并且跟着B站上面的短视频每天做一些燃脂动作，同