共 4 条随笔。
今天在研究循环不变式生成的新方法，发现用矩阵代数来表示仿射变换可以大大简化问题。
阅读了一篇关于静态分析的新论文，对于指针分析的精度提升有了新的想法。
尝试了新的代码编辑器配置，效率提升了不少。配置文件分享在 GitHub 上。
整理了之前关于内存分配器形式化建模的笔记，准备写一篇总结文章。