AWS mã nguồn mở một engine để so sánh ngữ nghĩa các chính sách hình thức
Bắt đầu từ đây
AWS đã công bố một engine mã nguồn mở tính toán khác biệt ngữ nghĩa của các chính sách hình thức bằng cách áp dụng phản hợp nhất (anti-unification) trên một e-graph. Cho hai phiên bản của một chính sách, nó hiển thị cấu trúc mà chúng chia sẻ một lần và giữ cả hai phiên bản của mỗi phần mà chúng khác nhau, để người đánh giá thấy những gì đã thay đổi về mặt ngữ nghĩa thay vì dưới dạng so sánh văn bản từng dòng. Engine này nhắm đến các chính sách được tạo ra bởi quá trình hình thức hóa tự động trong SMT-LIB, Cedar, Dogwood, OpenShell và CEL. Một LLM có thể viết tạo tác chính sách, nhưng nó không tham gia vào việc tính toán khác biệt. Mã nguồn được cấp phép Apache-2.0 trên GitHub và có thể biên dịch từ mã nguồn chỉ với một bộ công cụ Rust được ghim phiên bản.
Tạo từ các bài viết · cập nhật 1 ngày trước
Dòng thời gian bài viết
Theo các bài viết để thấy sự việc từ nhiều phía.
- AWS Machine Learning BlogSo sánh ngữ nghĩa các chính sách hình thức bằng phản hợp nhất
Một engine mã nguồn mở tính toán khác biệt ngữ nghĩa của các chính sách hình thức bằng cách dùng phản hợp nhất trên một e-graph, hiển thị cấu trúc chung một lần và giữ lại cả hai phiên bản của mỗi phần khác biệt. Nó nhắm tới các đầu ra tự hình thức hóa trong các chính sách SMT-LIB, Cedar, Dogwood, OpenShell và CEL, nơi một LLM viết ra tạo tác nhưng không tham gia vào việc tính toán khác biệt.
Độ nóng của sự việc này
Chưa đủ quan sát liên tục để vẽ xu hướng.