把漏洞研究看成拓扑问题：跨审计复用局部证明
dyn___ · x · 2026-11-04
研究者提出把漏洞研究视为一个巨大的拓扑问题：在多次审计中识别具有等价「攻击者可见行为」的代码区域，复用局部证明，再分析新代码并检查「粘合」是否成立——因为新的代码附件可能让坏状态变得可达。作者以数学视角类比安全审计的结构化方法。
「编程与Agent」频道最新
- Unity 发布 OpenAI Codex 官方插件,内置四种实战场景演示 — OpenAIDevs · 2026-11-04
- 开发者吐槽：一个项目可能只需一条 Claude Code 提示词 — burny_tech · 2026-11-04
- 开发者打造纯语音控制的画布工作台，手机远程可访问 — NERDDISCO · 2026-11-04
- LangChain 创始人：浏览器正成为 Agent 时代的新终端 — BraceSproul · 2026-11-04
- 谷歌发布 Antigravity 云开发插件，自带文档接地与安全护栏 — rseroter · 2026-11-04
- Celesto CLI 发布:让 AI Agent 直接查看 CI 任务与日志 — aniketmaurya · 2026-11-04