AWS open-sources an engine for semantic diffing of formal policies
เนื้อหานี้ยังไม่มีในภาษาของคุณ จึงแสดงเป็นEnglish
เริ่มตรงนี้
AWS has published an open-source engine that computes semantic diffs of formal policies by applying anti-unification over an e-graph. Given two versions of a policy, it shows the structure they share once and keeps both versions of each part where they differ, so reviewers see what changed semantically rather than as a line-by-line text diff. The engine targets policies produced by autoformalization in SMT-LIB, Cedar, Dogwood, OpenShell and CEL. An LLM may write the policy artifact, but it plays no part in computing the diff. The code is Apache-2.0 licensed on GitHub and builds from source with only a pinned Rust toolchain.
สร้างจากรายงาน · อัปเดต 23 ชม. ที่แล้ว
ไทม์ไลน์รายงาน
ไล่ตามรายงานเพื่อดูเหตุการณ์นี้จากหลายด้าน
- AWS Machine Learning Blogการเปรียบต่างเชิงความหมายของนโยบายเชิงรูปแบบด้วยแอนติ-ยูนิฟิเคชัน
เอนจินโอเพนซอร์สคำนวณการเปรียบต่างเชิงความหมายของนโยบายเชิงรูปแบบโดยใช้แอนติ-ยูนิฟิเคชันบนอีกราฟ แสดงโครงสร้างที่ใช้ร่วมกันเพียงครั้งเดียวและเก็บทั้งสองเวอร์ชันของแต่ละส่วนที่แตกต่างกัน โดยมุ่งเป้าไปที่ผลลัพธ์ของการทำให้เป็นรูปแบบอัตโนมัติในนโยบาย SMT-LIB, Cedar, Dogwood, OpenShell และ CEL ซึ่ง LLM เขียนอาร์ติแฟกต์แต่ไม่มีส่วนในการคำนวณการเปรียบต่าง
ความร้อนแรงของเหตุการณ์นี้
ยังมีการเฝ้าดูต่อเนื่องไม่พอจะวาดแนวโน้ม