Kiprey's Blog

一、简介

Healer 是受 Syzkaller 启发的 kernel fuzz。

与 Syzkaller 类似，Healer 使用 Syzlang 描述所提供的 syscall 信息来生成确认参数结构约束和部分语义约束的系统调用序列，并通过不断执行生成的调用序列来发现内核错误，导致内核崩溃。

与 Syzkaller 不同，Healer 不使用 choise table，而是通过动态移除最小化调用序列中的调用并观察覆盖范围变化来检测不同系统调用之间的内部关系，并利用内部关系来指导调用序列的生成和变异。此外，Healer 还使用了与 Syzkaller 不同的架构设计。

论文地址：HEALER: Relation Learning Guided Kernel Fuzzing

项目地址：github

一、简介

Syzkaller 是一个无监督的覆盖引导的内核 fuzzer，是目前类似里程碑一样的 fuzz 。

项目地址 - syzkaller

本人对 syzkaller 的工作机制比较感兴趣，同时课题组也会经常用到 syzkaller，因此了解 syzkaller 是一个必不可少的过程。

在研究内核fuzz的工作机制之前，我们需要先学会如何搭建它的环境。

一、简介

这里记录了笔者学习 CS144 计算机网络 Lab6 的一些笔记 - IP Router 路由器 的实现

CS144 Lab6 实验指导书 - Lab Checkpoint 6: building an IP router

个人 CS144 实验项目地址 - github

一、简介

这里记录了笔者学习 CS144 计算机网络 Lab7 的一些笔记（？）

这也是 CS144 的最终实验（终于快完结了）

CS144 Lab7 实验指导书 - Final checkpoint: putting it all together

个人 CS144 实验项目地址 - github

一、简介

这里记录了笔者学习 CS144 计算机网络 Lab5 的一些笔记 - 网络接口 network interface（也被称为适配器） 的实现

CS144 Lab5 实验指导书 - Lab Checkpoint 5: down the stack (the network interface)

个人 CS144 实验项目地址 - github

一、简介

这里记录了笔者学习 CS144 计算机网络 Lab4 的一些笔记 - TCP 总实现 TCPConnection

CS144 Lab4 实验指导书 - Lab Checkpoint 4: the summit (TCP in full)

个人 CS144 实验项目地址 - github

一、简介

这里记录了笔者学习 CS144 计算机网络 Lab3 的一些笔记 - TCP 发送方实现 TCPSender

CS144 Lab3 实验指导书 - Lab Checkpoint 3: the TCP sender

个人 CS144 实验项目地址 - github

一、简介

这里记录了笔者学习 CS144 计算机网络 Lab2 的一些笔记 - TCP接收方实现 TCPReceiver

CS144 Lab2 实验指导书 - Lab Checkpoint 2: the TCP receiver

个人 CS144 实验项目地址 - github

一、简介

这里记录了笔者学习 CS144 计算机网络 Lab1 的一些笔记 - 流重组器 StreamReassembler

CS144 Lab1 实验指导书 - Lab Checkpoint 1: stitching substrings into a byte stream

个人 CS144 实验项目地址 - github

PS: 在做 CS144 前，最好先学一手计网理论，或者读读我之前写的笔记

一、简介

这里记录了笔者配置 CS144 计算机网络实验环境的一些步骤。

CS144 Lab0 实验指导书 - Lab Checkpoint 0: networking warmup

个人 CS144 实验项目地址 - github