归档
2026
2025
- 2025年12月30日 [COMPT 0x05] CFL的泵引理/图灵机/图灵可识别&图灵可判定
- 2025年12月28日 [COMPT 0x04] 上下文无关文法/下推自动机/CFG↔PDA
- 2025年12月27日 [COMPT 0x03] FA→正则表达式/泵引理/上下文无关文法
- 2025年12月25日 [COMPT 0x02] 非确定性/封闭性/正则表达式→FA
- 2025年12月24日 [COMPT 0x01] 有限状态自动机/正则表达式
- 2025年10月10日 [SATV 0x01] Introduction: Program Analysis
- 2025年10月10日 [SATV 0x02] The LLVM Framework
- 2025年10月10日 [SATV 0x03] Software Specifications
- 2025年10月10日 [SATV 0x04] Random (Fuzz) Testing
- 2025年10月10日 [SATV 0x05] Metamorphic Testing & Property-based Testing
- 2025年10月10日 [SATV 0x07] Data Flow Analysis
- 2025年10月10日 [SATV 0x06] Delta Debugging
- 2025年10月10日 [SATV 0x08] Pointer Analysis
- 2025年10月10日 [SATV 0x09] Taint Analysis
- 2025年10月10日 [SATV 0x0a] Dynamic Symbolic Execution
- 2025年4月12日 [KATA 0x01] Codeforces Round 1009 (Div. 3)