Paper Review - Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing

This is a review of the paper Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing.

Paper Review - 𝜇AFL: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware

This is a review of the paper 𝜇AFL: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware.

25年夏日的一些杂想

女伤春，士悲秋。我认为每年的夏至日最为悲伤，因为这是一年间日照时长逐渐变短的起始。

My Distillation of The Linux Kernel Documentation

In this blog, I’m trying to summarize some of the topics in Linux kernel development that I learned while reading its official documentation.

Discover Concurrency in C Programs

Sometimes, you get the opportunity to implement a C function that will be called by other programs. In some cases, the program may be multi-threaded, and you might want to verify whether your function is being called simultaneously by multiple threads :)

Having Fun with ARM64 Linux Kernel

Lately, I’ve been working on a project related to recording Linux kernel execution traces at the object code level. During this process, I had the opportunity to work with the ARM64 architecture on Linux. I decided to write this blog to capture some of the highlights I learned along the way.

Linux Commandline Tips

When using the Linux command line and related tools, there are many useful tricks and common practices worth noting. In this post, I’m keeping a running list of tips related to Linux command-line tools for future reference.

Kernel Testing Papers and Tools Collection

This blog presents a growing collection of papers and tools related to the topic of kernel testing. I (hopefully ;p) plan to update it regularly, since I want it to serve as a handy index whenever I revisit this topic.

Symbolic Execution Paper Collections

This blog presents a growing collection of papers and tools related to the topic of symbolic execution. I (hopefully ;p) plan to update it regularly, since I want it to serve as a handy index whenever I revisit this topic.

Source Code Study - QEMU cpu_exec.c

Lately, I’ve been trying to record assembly execution trace of QEMU emulations. To grasp a better understanding of this process, I decided to take a look at the source code of QEMU, accel/tcg/cpu_exec.c in particular. As I’m reading the source code, I write this blog post as a review of what I’ve learnt from it.

中秋节快乐！

千里共婵娟。

A Brief Review of Git Operations

As a popular SVN, Git appears in almost every developper’s toolkit, regardless of what type of projects they are working on. Git provides us with a convenient way to keep track of all the changes made to a project, so that we can easily revert the project back to certain states if errors occur.

Failed to Open Ubuntu Terminal After Upgrading Python Version

Failed to open the terminal on your ubuntu system after upgrading python3 version? Here’s a way to potentially heal your pool command line!

CS 161 Notes Series Introduction

This is a series of notes for course CS 161: Computer Security held by UCB. I watched the recordings of its Summer 2021 version during winter holiday, 2023. The course website can be found here. After that, I took ECE 422: Introduction to Computer Security in UIUC during Spring 2023, the course structure was roughly the same as CS 161.