时光之歌

阅读笔记：andersen指针分析（2）

阅读笔记：andersen指针分析（2）

发表于2025-06-08|论文阅读

阅读笔记：andersen 指针分析

阅读笔记：andersen 指针分析

发表于2025-06-06|论文阅读

阅读笔记：SVF: Interprocedural Static Value-Flow Analysis in LLVM

阅读笔记：SVF: Interprocedural Static Value-Flow Analysis in LLVM

发表于2025-06-03|论文阅读

CTPL 线程池笔记

CTPL 线程池笔记

发表于2025-06-01|C/C++

漫谈：我妻同学是我老婆

漫谈：我妻同学是我老婆

发表于2025-03-22|漫谈

阅读笔记：Unveiling Cross-checking Opportunities in Verilog Compilers

阅读笔记：Unveiling Cross-checking Opportunities in Verilog Compilers

发表于2025-03-17|论文阅读

论文阅读：Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction

论文阅读：Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction

发表于2025-03-12|阅读笔记

论文阅读：BitsAI-CR: Automated Code Review via LLM in Practice

论文阅读：BitsAI-CR: Automated Code Review via LLM in Practice

发表于2025-02-18|阅读笔记

阅读笔记：Which Crashes Should I Fix First Predicting Top Crashes at an Early Stage to Prioritize Debugging Effort

阅读笔记：Which Crashes Should I Fix First Predicting Top Crashes at an Early Stage to Prioritize Debugging Effort

发表于2025-02-15|论文阅读

阅读笔记：What IF Is Not Enough? Fixing Null Pointer Dereference With Contextual Check

阅读笔记：What IF Is Not Enough? Fixing Null Pointer Dereference With Contextual Check

发表于2025-02-15|论文阅读