AWS describes semantic diffing with anti-unification for comparing formal policies
Overview
AWS Machine Learning Blog describes a semantic diff tool that compares formal policies by meaning rather than text.
It uses anti-unification over an e-graph to show the structure two policies share and where they differ. The engine accepts policy encodings in SMT-LIB, Cedar, Dogwood, OpenShell, or CEL.
Equality between policies is judged under algebraic laws and domain rules supplied by the user. If the diff shows no remaining differences, the two policies are equivalent under those laws and rules.
Written by AI from the articles below · updated Nov 11, 7:29 PM ET
Check the sources:
Article timeline
The articles in this story. Times are ET.
- AWS Machine Learning BlogOfficialSemantic diffing with anti-unification compares formal policies by meaning, not text
AIAWS Machine Learning Blog describes a semantic diff for formal policies that uses anti-unification over an e-graph to show shared structure and where two translations differ. The engine takes SMT-LIB, Cedar, Dogwood, OpenShell, or CEL policy encodings, with algebraic laws and domain rules supplied to justify equalities. If no differences remain, the policies are equivalent under those laws and rules.
Heat Trend
- Current comparable heat
- 7
- Peak comparable heat
- 10Nov 11, 8:00 PM ET
- Change in past 24 hours
- –
The trend compares only continuously observed participants, so its scope may be smaller than the current heat total. Hover or tap for hourly heat; use arrow keys with a keyboard.