2026年1月3日 — 可计算性理论
所有文章
共 19 篇
2026年1月3日 — 可计算性理论
[COMPT 0x07] DFAs和CFGs的判定问题
2026年1月2日 — 可计算性理论
[COMPT 0x06] 图灵机变体/丘奇–图灵论题
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
#LLVM
#IR
2025年10月10日 — 软件分析测试与验证
[SATV 0x03] Software Specifications
#软件测试理论
2025年10月10日 — 软件分析测试与验证
[SATV 0x04] Random (Fuzz) Testing
#fuzz
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
#deltaDebugging
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日 — 算法笔记