JM233333's Blog
  • Programming Languages

    • C
    • Python
  • Algorithms and Data Structures

    • Data Structure
    • Fundamental Algorithms
    • Graph Theory
  • GNU Toolchain

    • Bash
    • gdb
  • Development Environment

    • Ubuntu
    • QEMU
  • Development Tools

    • Git
    • VSCode
  • Operating Systems

    • Principles of Operating Systems
    • Xv6
    • Linux Kernel
  • Software Testing and Analysis

    • Software Testing
    • Software Analysis
    • Program Verification
  • LeetCode
  • XJTUOJ
  • System

    • System Performance
  • Programming

    • ...
  • Others

    • ...
  • Paper Reading

    • Model Checking
    • Fuzzing
    • Symbolic Execution
  • 3D Game Programming

    • 3D Mathematics

JM233333

弱小可怜又无助的学术废物
  • Programming Languages

    • C
    • Python
  • Algorithms and Data Structures

    • Data Structure
    • Fundamental Algorithms
    • Graph Theory
  • GNU Toolchain

    • Bash
    • gdb
  • Development Environment

    • Ubuntu
    • QEMU
  • Development Tools

    • Git
    • VSCode
  • Operating Systems

    • Principles of Operating Systems
    • Xv6
    • Linux Kernel
  • Software Testing and Analysis

    • Software Testing
    • Software Analysis
    • Program Verification
  • LeetCode
  • XJTUOJ
  • System

    • System Performance
  • Programming

    • ...
  • Others

    • ...
  • Paper Reading

    • Model Checking
    • Fuzzing
    • Symbolic Execution
  • 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
Theme by Vdoing | Copyright © 2019-2022 JM233333 | CC BY-NC-SA 4.0
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式