2017-09-05 15:21:07 +02:00
|
|
|
// Package awspolicy contains functions to compare structural equivalence
|
|
|
|
// of AWS IAM policies.
|
2016-09-02 00:31:01 +02:00
|
|
|
package awspolicy
|
|
|
|
|
2017-09-05 15:21:07 +02:00
|
|
|
// This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
// License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
// file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
|
2016-09-02 00:31:01 +02:00
|
|
|
import (
|
|
|
|
"encoding/json"
|
2017-01-03 21:04:16 +01:00
|
|
|
"errors"
|
2016-09-30 00:02:32 +02:00
|
|
|
"reflect"
|
|
|
|
"strings"
|
2016-09-02 00:31:01 +02:00
|
|
|
|
|
|
|
"github.com/hashicorp/errwrap"
|
2017-01-03 21:04:16 +01:00
|
|
|
"github.com/mitchellh/mapstructure"
|
2016-09-02 00:31:01 +02:00
|
|
|
)
|
|
|
|
|
|
|
|
// PoliciesAreEquivalent tests for the structural equivalence of two
|
|
|
|
// AWS policies. It does not read into the semantics, other than treating
|
|
|
|
// single element string arrays as equivalent to a string without an
|
|
|
|
// array, as the AWS endpoints do.
|
|
|
|
//
|
|
|
|
// It will, however, detect reordering and ignore whitespace.
|
|
|
|
//
|
|
|
|
// Returns true if the policies are structurally equivalent, false
|
|
|
|
// otherwise. If either of the input strings are not valid JSON,
|
|
|
|
// false is returned along with an error.
|
|
|
|
func PoliciesAreEquivalent(policy1, policy2 string) (bool, error) {
|
2017-01-03 21:04:16 +01:00
|
|
|
policy1intermediate := &intermediateAwsPolicyDocument{}
|
|
|
|
if err := json.Unmarshal([]byte(policy1), policy1intermediate); err != nil {
|
2016-09-02 00:31:01 +02:00
|
|
|
return false, errwrap.Wrapf("Error unmarshaling policy: {{err}}", err)
|
|
|
|
}
|
|
|
|
|
2017-01-03 21:04:16 +01:00
|
|
|
policy2intermediate := &intermediateAwsPolicyDocument{}
|
|
|
|
if err := json.Unmarshal([]byte(policy2), policy2intermediate); err != nil {
|
2016-09-02 00:31:01 +02:00
|
|
|
return false, errwrap.Wrapf("Error unmarshaling policy: {{err}}", err)
|
|
|
|
}
|
|
|
|
|
2017-01-03 21:04:16 +01:00
|
|
|
policy1Doc, err := policy1intermediate.document()
|
|
|
|
if err != nil {
|
|
|
|
return false, errwrap.Wrapf("Error parsing policy: {{err}}", err)
|
|
|
|
}
|
|
|
|
policy2Doc, err := policy2intermediate.document()
|
|
|
|
if err != nil {
|
|
|
|
return false, errwrap.Wrapf("Error parsing policy: {{err}}", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
return policy1Doc.equals(policy2Doc), nil
|
|
|
|
}
|
|
|
|
|
|
|
|
type intermediateAwsPolicyDocument struct {
|
|
|
|
Version string `json:",omitempty"`
|
|
|
|
Id string `json:",omitempty"`
|
|
|
|
Statements interface{} `json:"Statement"`
|
|
|
|
}
|
|
|
|
|
|
|
|
func (intermediate *intermediateAwsPolicyDocument) document() (*awsPolicyDocument, error) {
|
|
|
|
var statements []*awsPolicyStatement
|
|
|
|
|
|
|
|
switch s := intermediate.Statements.(type) {
|
|
|
|
case []interface{}:
|
|
|
|
if err := mapstructure.Decode(s, &statements); err != nil {
|
|
|
|
return nil, errwrap.Wrapf("Error parsing statement: {{err}}", err)
|
|
|
|
}
|
|
|
|
case map[string]interface{}:
|
|
|
|
var singleStatement *awsPolicyStatement
|
|
|
|
if err := mapstructure.Decode(s, &singleStatement); err != nil {
|
|
|
|
return nil, errwrap.Wrapf("Error parsing statement: {{err}}", err)
|
|
|
|
}
|
|
|
|
statements = append(statements, singleStatement)
|
|
|
|
default:
|
|
|
|
return nil, errors.New("Unknown error parsing statement")
|
|
|
|
}
|
|
|
|
|
|
|
|
document := &awsPolicyDocument{
|
|
|
|
Version: intermediate.Version,
|
|
|
|
Id: intermediate.Id,
|
|
|
|
Statements: statements,
|
|
|
|
}
|
|
|
|
|
|
|
|
return document, nil
|
2016-09-02 00:31:01 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
type awsPolicyDocument struct {
|
2017-01-03 21:04:16 +01:00
|
|
|
Version string
|
|
|
|
Id string
|
|
|
|
Statements []*awsPolicyStatement
|
2016-09-02 00:31:01 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
func (doc *awsPolicyDocument) equals(other *awsPolicyDocument) bool {
|
|
|
|
// Check the basic fields of the document
|
|
|
|
if doc.Version != other.Version {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
if doc.Id != other.Id {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
// If we have different number of statements we are very unlikely
|
|
|
|
// to have them be equivalent.
|
|
|
|
if len(doc.Statements) != len(other.Statements) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
// If we have the same number of statements in the policy, does
|
2017-01-03 21:04:16 +01:00
|
|
|
// each statement in the intermediate have a corresponding statement in
|
2016-09-02 00:31:01 +02:00
|
|
|
// other which is equal? If no, policies are not equal, if yes,
|
|
|
|
// then they may be.
|
|
|
|
for _, ours := range doc.Statements {
|
|
|
|
found := false
|
|
|
|
for _, theirs := range other.Statements {
|
|
|
|
if ours.equals(theirs) {
|
|
|
|
found = true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if !found {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Now we need to repeat this process the other way around to
|
|
|
|
// ensure we don't have any matching errors.
|
|
|
|
for _, theirs := range other.Statements {
|
|
|
|
found := false
|
|
|
|
for _, ours := range doc.Statements {
|
|
|
|
if theirs.equals(ours) {
|
|
|
|
found = true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if !found {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
|
|
|
type awsPolicyStatement struct {
|
2017-01-03 21:04:16 +01:00
|
|
|
Sid string `json:",omitempty" mapstructure:"Sid"`
|
|
|
|
Effect string `json:",omitempty" mapstructure:"Effect"`
|
|
|
|
Actions interface{} `json:"Action,omitempty" mapstructure:"Action"`
|
|
|
|
NotActions interface{} `json:"NotAction,omitempty" mapstructure:"NotAction"`
|
|
|
|
Resources interface{} `json:"Resource,omitempty" mapstructure:"Resource"`
|
|
|
|
NotResources interface{} `json:"NotResource,omitempty" mapstructure:"NotResource"`
|
|
|
|
Principals interface{} `json:"Principal,omitempty" mapstructure:"Principal"`
|
|
|
|
NotPrincipals interface{} `json:"NotPrincipal,omitempty" mapstructure:"NotPrincipal"`
|
|
|
|
Conditions map[string]map[string]interface{} `json:"Condition,omitempty" mapstructure:"Condition"`
|
2016-09-02 00:31:01 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
func (statement *awsPolicyStatement) equals(other *awsPolicyStatement) bool {
|
|
|
|
if statement.Sid != other.Sid {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
2016-09-30 00:02:32 +02:00
|
|
|
if strings.ToLower(statement.Effect) != strings.ToLower(other.Effect) {
|
2016-09-02 00:31:01 +02:00
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
ourActions := newAWSStringSet(statement.Actions)
|
|
|
|
theirActions := newAWSStringSet(other.Actions)
|
|
|
|
if !ourActions.equals(theirActions) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
ourNotActions := newAWSStringSet(statement.NotActions)
|
|
|
|
theirNotActions := newAWSStringSet(other.NotActions)
|
|
|
|
if !ourNotActions.equals(theirNotActions) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
ourResources := newAWSStringSet(statement.Resources)
|
|
|
|
theirResources := newAWSStringSet(other.Resources)
|
|
|
|
if !ourResources.equals(theirResources) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
ourNotResources := newAWSStringSet(statement.NotResources)
|
|
|
|
theirNotResources := newAWSStringSet(other.NotResources)
|
|
|
|
if !ourNotResources.equals(theirNotResources) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
ourConditionsBlock := awsConditionsBlock(statement.Conditions)
|
|
|
|
theirConditionsBlock := awsConditionsBlock(other.Conditions)
|
|
|
|
if !ourConditionsBlock.Equals(theirConditionsBlock) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if statement.Principals != nil || other.Principals != nil {
|
|
|
|
stringPrincipalsEqual := stringPrincipalsEqual(statement.Principals, other.Principals)
|
|
|
|
mapPrincipalsEqual := mapPrincipalsEqual(statement.Principals, other.Principals)
|
|
|
|
if !(stringPrincipalsEqual || mapPrincipalsEqual) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if statement.NotPrincipals != nil || other.NotPrincipals != nil {
|
|
|
|
stringNotPrincipalsEqual := stringPrincipalsEqual(statement.NotPrincipals, other.NotPrincipals)
|
|
|
|
mapNotPrincipalsEqual := mapPrincipalsEqual(statement.NotPrincipals, other.NotPrincipals)
|
|
|
|
if !(stringNotPrincipalsEqual || mapNotPrincipalsEqual) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
|
|
|
func mapPrincipalsEqual(ours, theirs interface{}) bool {
|
|
|
|
ourPrincipalMap, ok := ours.(map[string]interface{})
|
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
theirPrincipalMap, ok := theirs.(map[string]interface{})
|
2016-09-30 00:02:32 +02:00
|
|
|
if !ok {
|
2016-09-02 00:31:01 +02:00
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
oursNormalized := make(map[string]awsStringSet)
|
|
|
|
for key, val := range ourPrincipalMap {
|
|
|
|
oursNormalized[key] = newAWSStringSet(val)
|
|
|
|
}
|
|
|
|
|
|
|
|
theirsNormalized := make(map[string]awsStringSet)
|
|
|
|
for key, val := range theirPrincipalMap {
|
|
|
|
theirsNormalized[key] = newAWSStringSet(val)
|
|
|
|
}
|
|
|
|
|
|
|
|
for key, ours := range oursNormalized {
|
|
|
|
theirs, ok := theirsNormalized[key]
|
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if !ours.equals(theirs) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
for key, theirs := range theirsNormalized {
|
|
|
|
ours, ok := oursNormalized[key]
|
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if !theirs.equals(ours) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
|
|
|
func stringPrincipalsEqual(ours, theirs interface{}) bool {
|
|
|
|
ourPrincipal, oursIsString := ours.(string)
|
|
|
|
theirPrincipal, theirsIsString := theirs.(string)
|
|
|
|
|
|
|
|
if !(oursIsString && theirsIsString) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if ourPrincipal == theirPrincipal {
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
type awsConditionsBlock map[string]map[string]interface{}
|
|
|
|
|
|
|
|
func (conditions awsConditionsBlock) Equals(other awsConditionsBlock) bool {
|
|
|
|
if conditions == nil && other != nil || other == nil && conditions != nil {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(conditions) != len(other) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
oursNormalized := make(map[string]map[string]awsStringSet)
|
|
|
|
for key, condition := range conditions {
|
|
|
|
normalizedCondition := make(map[string]awsStringSet)
|
|
|
|
for innerKey, val := range condition {
|
|
|
|
normalizedCondition[innerKey] = newAWSStringSet(val)
|
|
|
|
}
|
|
|
|
oursNormalized[key] = normalizedCondition
|
|
|
|
}
|
|
|
|
|
|
|
|
theirsNormalized := make(map[string]map[string]awsStringSet)
|
|
|
|
for key, condition := range other {
|
|
|
|
normalizedCondition := make(map[string]awsStringSet)
|
|
|
|
for innerKey, val := range condition {
|
|
|
|
normalizedCondition[innerKey] = newAWSStringSet(val)
|
|
|
|
}
|
|
|
|
theirsNormalized[key] = normalizedCondition
|
|
|
|
}
|
|
|
|
|
|
|
|
for key, ours := range oursNormalized {
|
|
|
|
theirs, ok := theirsNormalized[key]
|
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
for innerKey, oursInner := range ours {
|
|
|
|
theirsInner, ok := theirs[innerKey]
|
2016-09-30 00:02:32 +02:00
|
|
|
if !ok {
|
2016-09-02 00:31:01 +02:00
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if !oursInner.equals(theirsInner) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
for key, theirs := range theirsNormalized {
|
|
|
|
ours, ok := oursNormalized[key]
|
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
for innerKey, theirsInner := range theirs {
|
|
|
|
oursInner, ok := ours[innerKey]
|
2016-09-30 00:02:32 +02:00
|
|
|
if !ok {
|
2016-09-02 00:31:01 +02:00
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if !theirsInner.equals(oursInner) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
|
|
|
type awsStringSet []string
|
|
|
|
|
|
|
|
// newAWSStringSet constructs an awsStringSet from an interface{} - which
|
|
|
|
// may be nil, a single string, or []interface{} (each of which is a string).
|
|
|
|
// This corresponds with how structures come off the JSON unmarshaler
|
|
|
|
// without any custom encoding rules.
|
|
|
|
func newAWSStringSet(members interface{}) awsStringSet {
|
|
|
|
if members == nil {
|
|
|
|
return awsStringSet{}
|
|
|
|
}
|
|
|
|
|
|
|
|
if single, ok := members.(string); ok {
|
|
|
|
return awsStringSet{single}
|
|
|
|
}
|
|
|
|
|
|
|
|
if multiple, ok := members.([]interface{}); ok {
|
|
|
|
actions := make([]string, len(multiple))
|
|
|
|
for i, action := range multiple {
|
|
|
|
actions[i] = action.(string)
|
|
|
|
}
|
|
|
|
return awsStringSet(actions)
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (actions awsStringSet) equals(other awsStringSet) bool {
|
|
|
|
if len(actions) != len(other) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
ourMap := map[string]struct{}{}
|
|
|
|
theirMap := map[string]struct{}{}
|
|
|
|
|
|
|
|
for _, action := range actions {
|
|
|
|
ourMap[action] = struct{}{}
|
|
|
|
}
|
|
|
|
|
|
|
|
for _, action := range other {
|
|
|
|
theirMap[action] = struct{}{}
|
|
|
|
}
|
|
|
|
|
|
|
|
return reflect.DeepEqual(ourMap, theirMap)
|
|
|
|
}
|