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.
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.
千里共婵娟。
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 the terminal on your ubuntu system after upgrading python3 version? Here’s a way to potentially heal your pool command line!
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.
As a beginner of reverse engineering, I spent three days in the spring break to work on a single CTF problem…
This is a review of the article VM escape - QEMU Case Study by Mehdi Talbi and Paul Fariello published on Phrack.
What happens after you switch on your computer? What is a bootloader? What is BIOS? …
It’s 0:30am, Jan 24th, 2023. I’m writing this very first blog on this website.
