AWS 開源一套用於形式化策略語意差異比對的引擎

AWS 發布了一套開源引擎，透過在 e-graph 上套用反合一（anti-unification）來計算形式化策略的語意差異。給定同一策略的兩個版本，它會展示兩者共有的結構一次，並在每個有差異的部分保留兩個版本，讓審閱者看到語意上的變更，而不是逐行文字差異。 該引擎針對由自動形式化產生、以 SMT-LIB、Cedar、Dogwood、OpenShell 和 CEL 撰寫的策略。LLM 可能負責撰寫策略產物，但不參與差異的計算。程式碼以 Apache-2.0 授權發布於 GitHub，只需固定版本的 Rust 工具鏈即可從原始碼建置。

AI 依報導生成 · 1 天前更新

還沒有足夠的連續觀測資料，暫不繪製趨勢。