AWS 开源了一个用于形式化策略语义差异比较的引擎

AWS 发布了一个开源引擎，通过对 e-graph 应用反合一（anti-unification）来计算形式化策略的语义差异。给定一个策略的两个版本，它会展示两者共有的结构一次，并在每个部分存在差异时保留两个版本，使审阅者看到语义上的变化，而不是逐行文本差异。 该引擎面向由 SMT-LIB、Cedar、Dogwood、OpenShell 和 CEL 中的自动形式化生成的策略。LLM 可能编写策略工件，但它不参与差异计算。代码在 GitHub 上以 Apache-2.0 许可发布，仅需固定版本的 Rust 工具链即可从源码构建。

AI 根据报道生成 · 1 天前更新

还没有足够的连续观测数据，暂不绘制趋势。