https://douyixuan.github.io/tags/static-analysis/Recent content in Static-Analysis on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usWed, 14 Oct 2026 12:14:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-14/Wed, 14 Oct 2026 12:14:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-14/NOMOS 把书面政策编译为确定性工具调用门控。它能排除自阻塞、参数错绑等结构缺陷，却仍可能把具体授权弱化为‘用户要求过某种操作’。https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-28/Mon, 28 Sep 2026 12:08:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-28/Ave 把 GPU kernel 优化必须保持的数据关系写成编译期不变量，再用静态分析与具体反例指导 Agent 修复；消融实验支持这种结构化反馈，但其保证范围取决于人预先表达了哪些不变量。