Basic Knowledge
Basic Knowledge
Programming Languages
C
Python
Algorithms and Data Structures
Data Structure
Fundamental Algorithms
Graph Theory
Basic Software
Basic Software
GNU Toolchain
Bash
gdb
Development Environment
Ubuntu
QEMU
Development Tools
Git
VSCode
Professional Knowledge
Professional Knowledge
Operating Systems
Principles of Operating Systems
Xv6
Linux Kernel
Software Testing and Analysis
Software Testing
Software Analysis
Program Verification
Programming Contest
Programming Contest
LeetCode
XJTUOJ
Learning Notes
Learning Notes
System
System Performance
Programming
...
Others
...
Research
Research
Paper Reading
Model Checking
Fuzzing
Symbolic Execution
Uncategorized
Uncategorized
3D Game Programming
3D Mathematics
归档
总共
215
篇文章
2022
60
篇
08-01
Linux Kernel 00 - Introduction
08-01
Linux Kernel 01 - Build and Run a Tiny Linux Kernel on QEMU
08-01
Linux Kernel 01 - Debug the Linux Kernel
08-01
Linux Kernel 02 - Build a More Complete Small-scale Kernel
08-01
Linux Kernel 01 - Kernel Configuration Overview
08-01
Linux Kernel 02 - System Calls
06-01
Python 01 - Summary of Basic Syntax (unfinished)
06-01
Python 88 - String
06-01
Python 88 - String Formatting
06-01
Python 02 - Data Structures (unfinished)
04-01
Reading Notes - System Performance
04-01
FUCK-ELF
03-01
C 10 - Introduction to GCC Extensions
03-01
C 11 - GCC Inline Assembly (unfinished)
03-01
make 08 - Text Transform Functions
03-01
Software Analysis 00 - Introduction
03-01
Software Analysis 00 - Theoretical Fundations
03-01
Software Analysis 00 - Pointer Analysis
03-01
Program Verification 00 - Introduction
03-01
Program Verification 02 - Operational Semantics
03-01
Program Verification 01 - Basic Logic
03-01
Program Verification 02 - Linear Temporal Logic (unfinished)
03-01
Program Verification 04 - Separation Logic (unfinished)
03-01
Program Verification 03 - Hoare Logic
03-01
Program Verification 04 - Weakest Precondition
03-01
Program Verification 05 - Guarded Command
03-01
Reading Papers 00 - Related Works
03-01
Reading Papers 01 - Model Checking
03-01
Reading Papers - Directed Fuzzing
03-01
Reading Papers - Black-Box Fuzzing
03-01
Reading Papers - White-Box Fuzzing
03-01
Reading Papers - Grey-Box Fuzzing
03-01
Reading Papers - Fuzzing Temp
03-01
Reading Papers 03 - Symbolic Execution
03-01
Reading Papers 04 - Verification
03-01
Reading Papers 01 - Concurrency Testing
03-01
Reading Papers 02 - Crash Consistency
03-01
Reading Papers - Fuzzing Overview
03-01
Reading Papers 10 - System Design
03-01
Reading Papers 20 - Others
01-01
Python 00 - Introduction
01-01
Python 99 - Summary of Piecemeal Knowledge (unfinished)
01-01
x86 00 - Introduction
01-01
x86 01 - Basic Concept
01-01
riscv 00 - Introduction
01-01
gdb 00 - Introduction
01-01
gdb 88 - Useful Macro Definitions
01-01
gcc 88 - Tips and Tricks of Usage (unfinished)
01-01
gdb 99 - Debugging glibc with Source Code
01-01
Ubuntu 00 - Introduction
01-01
QEMU 00 - Introduction
01-01
Docker 88 - Learning Notes
01-01
QEMU 88 - Debug with QEMU Monitor
01-01
QEMU 88 - Useful Command-line Options
01-01
Git 00 - Introduction
01-01
Docker 00 - Introduction
01-01
Git 01 - Initialization
01-01
Git 0X - GitHub Access Authentication
01-01
VSCode 88 - Summary of Piecemeal Knowledge
01-01
Xv6 00 - Introduction
2021
12
篇
12-01
C 03 - Scope and Lifetime
12-01
C 04 - Organizing Multiple Source Files (unfinished)
12-01
C 04 - Summary of Piecemeal Knowledge (unfinished)
12-01
C 05 - Improve Your Code with [typedef] (unfinished)
12-01
C 06 - Macro (unfinished)
12-01
C 05 - More about Input and Output (unfinished)
09-01
Bash 00 - Introduction
09-01
Bash 01 - Getting Started
06-01
个人简历
06-01
Curriculum Vitae
05-01
LeetCode 0094 - xxx
04-01
C 06 - More about the Structure Type
2020
80
篇
08-29
LeetCode 0099 - Recover Binary Search Tree
08-29
LeetCode 0100 - Same Tree
08-28
LeetCode 0097 - Interleaving String
08-28
LeetCode 0098 - Validate Binary Search Tree
08-27
LeetCode 0095 - Unique Binary Search Trees II
08-27
LeetCode 0096 - Unique Binary Search Trees
08-26
LeetCode 0093 - Restore IP Addresses
08-25
LeetCode 0091 - Decode Ways
跟随系统
浅色模式
深色模式
阅读模式