Basic Knowledge
Basic Knowledge
Programming Languages
C
UNIX-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
Programming
Is Parallel Programming Hard
System
System Performance
Others
...
Research
Research
Paper Reading
Model Checking
Fuzzing
Symbolic Execution
Uncategorized
Uncategorized
3D Game Programming
3D Mathematics
Miscellaneous
归档
总共
239
篇文章
2023
10
篇
04-01
Reading Papers - Partial Order Reduction
03-01
Reading Papers - File System Verification
02-13
LeetCode 0115 - Distinct Subsequences
02-01
Linux 00 - Introduction
02-01
Linux 88 - Linux x86 Program Start Up
02-01
Reading Papers - Atomicity Violation
02-01
Reading Papers - Configuration Management
02-01
Reading Papers - Speculative Execution
01-01
Reading Papers - Coverage Criteria for Concurrency Testing
01-01
Reading Papers - Concurrency Testing in Kernel
2022
74
篇
11-01
GDB 02 - Command
11-01
GDB 88 - Customize Settings
10-01
Reading Papers - Scheduling Control
10-01
Reading Papers - Data Race Detection
09-01
Reading Notes - Effective Python (Second Edition)
09-01
Reading Notes - Is Parallel Programming Hard
09-01
Reading Notes - System Performance
09-01
UNIX-C 00 - Introduction
09-01
UNIX-C 88 - Introduction to GCC Extensions (unfinished)
09-01
Git 00 - Introduction
09-01
Git 01 - What is Git ? (unfinished)
09-01
Git 02 - Getting Started (unfinished)
09-01
Git 02 - Basics (unfinished)
09-01
Miscellaneous 01 - Regex Golf
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 01 - Kernel Configuration Overview
08-01
Linux Kernel 02 - Build a More Complete Small-scale Kernel
08-01
Linux Kernel 02 - System Calls
06-01
Python 01 - Summary of Basic Syntax (unfinished)
06-01
Python 02 - Data Structures (unfinished)
06-01
Python 88 - String
06-01
Python 88 - String Formatting
04-01
FUCK-ELF
03-01
UNIX-C 88 - GCC Inline Assembly (unfinished)
03-01
make 08 - Text Transform Functions
03-01
Static Analysis 00 - Introduction
03-01
Static Analysis 01 - Basic Knowledge
03-01
Static Analysis 00 - Theoretical Fundations
03-01
Static Analysis 00 - Pointer Analysis
03-01
Program Verification 00 - Introduction
03-01
Program Verification 01 - Basic Logic
03-01
Program Verification 02 - Linear Temporal Logic (unfinished)
03-01
Program Verification 02 - Operational Semantics
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 - Model Checking Overview
03-01
Reading Papers - In-Situ Model Checking
03-01
Reading Papers - Fuzzing Overview
03-01
Reading Papers - Black-Box Fuzzing
03-01
Reading Papers - Grey-Box Fuzzing
03-01
Reading Papers - Directed Fuzzing
03-01
Reading Papers - Kernel Fuzzing
03-01
Reading Papers - White-Box Fuzzing
03-01
Reading Papers - Fuzzing Temp
03-01
Reading Papers - Concurrency Testing Overview
03-01
Reading Papers - Kernel Testing Overview
03-01
Reading Papers 00 - Related Works
03-01
Reading Papers 01 - Model Checking
03-01
Reading Papers 03 - Symbolic Execution
03-01
Reading Papers 04 - Verification
03-01
Reading Papers 02 - Crash Consistency
03-01
Reading Papers 20 - Others
03-01
Reading Papers 10 - System Design
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
gcc 88 - Tips and Tricks of Usage (unfinished)
01-01
gdb 00 - Introduction
01-01
GDB 88 - Useful Macro Definitions
01-01
GDB 99 - Debugging glibc with Source Code
01-01
QEMU 00 - Introduction
01-01
QEMU 88 - Debug with QEMU Monitor
01-01
Docker 88 - Learning Notes
01-01
Docker 00 - Introduction
跟随系统
浅色模式
深色模式
阅读模式