用形式语言终结安全玄学，这个冷项目可能炸了

一个几乎没人讨论的项目把形式语言理论塞进了安全领域，叫Langsec。思路很直接：既然正则语言、上下文无关文法能精确描述程序的"长相"，为什么不能拿来约束攻击的"形状"？我看完觉得方向是对的——传统安全研究总在写规则、打补丁、跑扫描器，本质上是用经验对抗经验，而形式语言的数学保证是另一回事。当然落地难度不小，现实系统的输入输出空间远比教科书文法复杂。但至少有人开始问：能不能把"不安全"也形式化，让它不再是玄学？目前Hacker News上只有1个点、零评论，安静得反常。但我不认为它无人在意——只是还没到引爆的时候。

原文：Langsec: Language-Theoretic Security · 来源：Hacker News