归档
总共 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