Loading tools/compliance/Android.bp +0 −1 Original line number Diff line number Diff line Loading @@ -48,7 +48,6 @@ blueprint_go_binary { bootstrap_go_package { name: "compliance-module", srcs: [ "actionset.go", "condition.go", "conditionset.go", "doc.go", Loading tools/compliance/actionset.godeleted 100644 → 0 +0 −119 Original line number Diff line number Diff line // Copyright 2021 Google LLC // // Licensed under the Apache License, Version 2.0 (the "License"); // you may not use this file except in compliance with the License. // You may obtain a copy of the License at // // http://www.apache.org/licenses/LICENSE-2.0 // // Unless required by applicable law or agreed to in writing, software // distributed under the License is distributed on an "AS IS" BASIS, // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. // See the License for the specific language governing permissions and // limitations under the License. package compliance import ( "fmt" "sort" "strings" ) // actionSet maps `actOn` target nodes to the license conditions the actions resolve. type actionSet map[*TargetNode]*LicenseConditionSet // String returns a string representation of the set. func (as actionSet) String() string { var sb strings.Builder fmt.Fprintf(&sb, "{") osep := "" for actsOn, cs := range as { cl := cs.AsList() sort.Sort(cl) fmt.Fprintf(&sb, "%s%s -> %s", osep, actsOn.name, cl.String()) osep = ", " } fmt.Fprintf(&sb, "}") return sb.String() } // byName returns the subset of `as` actions where the condition name is in `names`. func (as actionSet) byName(names ConditionNames) actionSet { result := make(actionSet) for actsOn, cs := range as { bn := cs.ByName(names) if bn.IsEmpty() { continue } result[actsOn] = bn } return result } // byActsOn returns the subset of `as` where `actsOn` is in the `reachable` target node set. func (as actionSet) byActsOn(reachable *TargetNodeSet) actionSet { result := make(actionSet) for actsOn, cs := range as { if !reachable.Contains(actsOn) || cs.IsEmpty() { continue } result[actsOn] = cs.Copy() } return result } // copy returns another actionSet with the same value as `as` func (as actionSet) copy() actionSet { result := make(actionSet) for actsOn, cs := range as { if cs.IsEmpty() { continue } result[actsOn] = cs.Copy() } return result } // addSet adds all of the actions of `other` if not already present. func (as actionSet) addSet(other actionSet) { for actsOn, cs := range other { as.add(actsOn, cs) } } // add makes the action on `actsOn` to resolve the conditions in `cs` a member of the set. func (as actionSet) add(actsOn *TargetNode, cs *LicenseConditionSet) { if acs, ok := as[actsOn]; ok { acs.AddSet(cs) } else { as[actsOn] = cs.Copy() } } // addCondition makes the action on `actsOn` to resolve `lc` a member of the set. func (as actionSet) addCondition(actsOn *TargetNode, lc LicenseCondition) { if _, ok := as[actsOn]; !ok { as[actsOn] = newLicenseConditionSet() } as[actsOn].Add(lc) } // isEmpty returns true if no action to resolve a condition exists. func (as actionSet) isEmpty() bool { for _, cs := range as { if !cs.IsEmpty() { return false } } return true } // conditions returns the set of conditions resolved by the action set. func (as actionSet) conditions() *LicenseConditionSet { result := newLicenseConditionSet() for _, cs := range as { result.AddSet(cs) } return result } tools/compliance/cmd/checkshare.go +2 −2 Original line number Diff line number Diff line Loading @@ -30,8 +30,8 @@ func init() { Reports on stderr any targets where policy says that the source both must and must not be shared. The error report indicates the target, the license condition with origin that has a source privacy policy, and the license condition with origin that has a source sharing policy. license condition that has a source privacy policy, and the license condition that has a source sharing policy. Any given target may appear multiple times with different combinations of conflicting license conditions. Loading tools/compliance/cmd/checkshare_test.go +2 −15 Original line number Diff line number Diff line Loading @@ -23,15 +23,12 @@ import ( type outcome struct { target string privacyOrigin string privacyCondition string shareOrigin string shareCondition string } func (o *outcome) String() string { return fmt.Sprintf("%s %s from %s and must share from %s %s", o.target, o.privacyCondition, o.privacyOrigin, o.shareCondition, o.shareOrigin) return fmt.Sprintf("%s %s and must share from %s", o.target, o.privacyCondition, o.shareCondition) } type outcomeList []*outcome Loading Loading @@ -180,9 +177,7 @@ func Test(t *testing.T) { expectedOutcomes: outcomeList{ &outcome{ target: "testdata/proprietary/bin/bin2.meta_lic", privacyOrigin: "testdata/proprietary/bin/bin2.meta_lic", privacyCondition: "proprietary", shareOrigin: "testdata/proprietary/lib/libb.so.meta_lic", shareCondition: "restricted", }, }, Loading @@ -195,9 +190,7 @@ func Test(t *testing.T) { expectedOutcomes: outcomeList{ &outcome{ target: "testdata/proprietary/bin/bin2.meta_lic", privacyOrigin: "testdata/proprietary/bin/bin2.meta_lic", privacyCondition: "proprietary", shareOrigin: "testdata/proprietary/lib/libb.so.meta_lic", shareCondition: "restricted", }, }, Loading @@ -210,9 +203,7 @@ func Test(t *testing.T) { expectedOutcomes: outcomeList{ &outcome{ target: "testdata/proprietary/lib/liba.so.meta_lic", privacyOrigin: "testdata/proprietary/lib/liba.so.meta_lic", privacyCondition: "proprietary", shareOrigin: "testdata/proprietary/lib/libb.so.meta_lic", shareCondition: "restricted", }, }, Loading @@ -225,9 +216,7 @@ func Test(t *testing.T) { expectedOutcomes: outcomeList{ &outcome{ target: "testdata/proprietary/bin/bin2.meta_lic", privacyOrigin: "testdata/proprietary/bin/bin2.meta_lic", privacyCondition: "proprietary", shareOrigin: "testdata/proprietary/lib/libb.so.meta_lic", shareCondition: "restricted", }, }, Loading Loading @@ -277,10 +266,8 @@ func Test(t *testing.T) { cFields := strings.Split(ts, " ") actualOutcomes = append(actualOutcomes, &outcome{ target: cFields[0], privacyOrigin: cFields[3], privacyCondition: cFields[1], shareOrigin: cFields[9], shareCondition: cFields[8], shareCondition: cFields[6], }) } if len(actualOutcomes) != len(tt.expectedOutcomes) { Loading tools/compliance/cmd/dumpgraph_test.go +3 −3 Original line number Diff line number Diff line Loading @@ -327,13 +327,13 @@ func Test_plaintext(t *testing.T) { roots: []string{"highest.apex.meta_lic"}, ctx: context{stripPrefix: "testdata/restricted/", labelConditions: true}, expectedOut: []string{ "bin/bin1.meta_lic:notice lib/liba.so.meta_lic:restricted static", "bin/bin1.meta_lic:notice lib/liba.so.meta_lic:restricted_allows_dynamic_linking static", "bin/bin1.meta_lic:notice lib/libc.a.meta_lic:reciprocal static", "bin/bin2.meta_lic:notice lib/libb.so.meta_lic:restricted dynamic", "bin/bin2.meta_lic:notice lib/libd.so.meta_lic:notice dynamic", "highest.apex.meta_lic:notice bin/bin1.meta_lic:notice static", "highest.apex.meta_lic:notice bin/bin2.meta_lic:notice static", "highest.apex.meta_lic:notice lib/liba.so.meta_lic:restricted static", "highest.apex.meta_lic:notice lib/liba.so.meta_lic:restricted_allows_dynamic_linking static", "highest.apex.meta_lic:notice lib/libb.so.meta_lic:restricted static", }, }, Loading Loading @@ -996,7 +996,7 @@ func Test_graphviz(t *testing.T) { matchTarget("bin/bin1.meta_lic", "notice"), matchTarget("bin/bin2.meta_lic", "notice"), matchTarget("highest.apex.meta_lic", "notice"), matchTarget("lib/liba.so.meta_lic", "restricted"), matchTarget("lib/liba.so.meta_lic", "restricted_allows_dynamic_linking"), matchTarget("lib/libb.so.meta_lic", "restricted"), matchTarget("lib/libc.a.meta_lic", "reciprocal"), matchTarget("lib/libd.so.meta_lic", "notice"), Loading Loading
tools/compliance/Android.bp +0 −1 Original line number Diff line number Diff line Loading @@ -48,7 +48,6 @@ blueprint_go_binary { bootstrap_go_package { name: "compliance-module", srcs: [ "actionset.go", "condition.go", "conditionset.go", "doc.go", Loading
tools/compliance/actionset.godeleted 100644 → 0 +0 −119 Original line number Diff line number Diff line // Copyright 2021 Google LLC // // Licensed under the Apache License, Version 2.0 (the "License"); // you may not use this file except in compliance with the License. // You may obtain a copy of the License at // // http://www.apache.org/licenses/LICENSE-2.0 // // Unless required by applicable law or agreed to in writing, software // distributed under the License is distributed on an "AS IS" BASIS, // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. // See the License for the specific language governing permissions and // limitations under the License. package compliance import ( "fmt" "sort" "strings" ) // actionSet maps `actOn` target nodes to the license conditions the actions resolve. type actionSet map[*TargetNode]*LicenseConditionSet // String returns a string representation of the set. func (as actionSet) String() string { var sb strings.Builder fmt.Fprintf(&sb, "{") osep := "" for actsOn, cs := range as { cl := cs.AsList() sort.Sort(cl) fmt.Fprintf(&sb, "%s%s -> %s", osep, actsOn.name, cl.String()) osep = ", " } fmt.Fprintf(&sb, "}") return sb.String() } // byName returns the subset of `as` actions where the condition name is in `names`. func (as actionSet) byName(names ConditionNames) actionSet { result := make(actionSet) for actsOn, cs := range as { bn := cs.ByName(names) if bn.IsEmpty() { continue } result[actsOn] = bn } return result } // byActsOn returns the subset of `as` where `actsOn` is in the `reachable` target node set. func (as actionSet) byActsOn(reachable *TargetNodeSet) actionSet { result := make(actionSet) for actsOn, cs := range as { if !reachable.Contains(actsOn) || cs.IsEmpty() { continue } result[actsOn] = cs.Copy() } return result } // copy returns another actionSet with the same value as `as` func (as actionSet) copy() actionSet { result := make(actionSet) for actsOn, cs := range as { if cs.IsEmpty() { continue } result[actsOn] = cs.Copy() } return result } // addSet adds all of the actions of `other` if not already present. func (as actionSet) addSet(other actionSet) { for actsOn, cs := range other { as.add(actsOn, cs) } } // add makes the action on `actsOn` to resolve the conditions in `cs` a member of the set. func (as actionSet) add(actsOn *TargetNode, cs *LicenseConditionSet) { if acs, ok := as[actsOn]; ok { acs.AddSet(cs) } else { as[actsOn] = cs.Copy() } } // addCondition makes the action on `actsOn` to resolve `lc` a member of the set. func (as actionSet) addCondition(actsOn *TargetNode, lc LicenseCondition) { if _, ok := as[actsOn]; !ok { as[actsOn] = newLicenseConditionSet() } as[actsOn].Add(lc) } // isEmpty returns true if no action to resolve a condition exists. func (as actionSet) isEmpty() bool { for _, cs := range as { if !cs.IsEmpty() { return false } } return true } // conditions returns the set of conditions resolved by the action set. func (as actionSet) conditions() *LicenseConditionSet { result := newLicenseConditionSet() for _, cs := range as { result.AddSet(cs) } return result }
tools/compliance/cmd/checkshare.go +2 −2 Original line number Diff line number Diff line Loading @@ -30,8 +30,8 @@ func init() { Reports on stderr any targets where policy says that the source both must and must not be shared. The error report indicates the target, the license condition with origin that has a source privacy policy, and the license condition with origin that has a source sharing policy. license condition that has a source privacy policy, and the license condition that has a source sharing policy. Any given target may appear multiple times with different combinations of conflicting license conditions. Loading
tools/compliance/cmd/checkshare_test.go +2 −15 Original line number Diff line number Diff line Loading @@ -23,15 +23,12 @@ import ( type outcome struct { target string privacyOrigin string privacyCondition string shareOrigin string shareCondition string } func (o *outcome) String() string { return fmt.Sprintf("%s %s from %s and must share from %s %s", o.target, o.privacyCondition, o.privacyOrigin, o.shareCondition, o.shareOrigin) return fmt.Sprintf("%s %s and must share from %s", o.target, o.privacyCondition, o.shareCondition) } type outcomeList []*outcome Loading Loading @@ -180,9 +177,7 @@ func Test(t *testing.T) { expectedOutcomes: outcomeList{ &outcome{ target: "testdata/proprietary/bin/bin2.meta_lic", privacyOrigin: "testdata/proprietary/bin/bin2.meta_lic", privacyCondition: "proprietary", shareOrigin: "testdata/proprietary/lib/libb.so.meta_lic", shareCondition: "restricted", }, }, Loading @@ -195,9 +190,7 @@ func Test(t *testing.T) { expectedOutcomes: outcomeList{ &outcome{ target: "testdata/proprietary/bin/bin2.meta_lic", privacyOrigin: "testdata/proprietary/bin/bin2.meta_lic", privacyCondition: "proprietary", shareOrigin: "testdata/proprietary/lib/libb.so.meta_lic", shareCondition: "restricted", }, }, Loading @@ -210,9 +203,7 @@ func Test(t *testing.T) { expectedOutcomes: outcomeList{ &outcome{ target: "testdata/proprietary/lib/liba.so.meta_lic", privacyOrigin: "testdata/proprietary/lib/liba.so.meta_lic", privacyCondition: "proprietary", shareOrigin: "testdata/proprietary/lib/libb.so.meta_lic", shareCondition: "restricted", }, }, Loading @@ -225,9 +216,7 @@ func Test(t *testing.T) { expectedOutcomes: outcomeList{ &outcome{ target: "testdata/proprietary/bin/bin2.meta_lic", privacyOrigin: "testdata/proprietary/bin/bin2.meta_lic", privacyCondition: "proprietary", shareOrigin: "testdata/proprietary/lib/libb.so.meta_lic", shareCondition: "restricted", }, }, Loading Loading @@ -277,10 +266,8 @@ func Test(t *testing.T) { cFields := strings.Split(ts, " ") actualOutcomes = append(actualOutcomes, &outcome{ target: cFields[0], privacyOrigin: cFields[3], privacyCondition: cFields[1], shareOrigin: cFields[9], shareCondition: cFields[8], shareCondition: cFields[6], }) } if len(actualOutcomes) != len(tt.expectedOutcomes) { Loading
tools/compliance/cmd/dumpgraph_test.go +3 −3 Original line number Diff line number Diff line Loading @@ -327,13 +327,13 @@ func Test_plaintext(t *testing.T) { roots: []string{"highest.apex.meta_lic"}, ctx: context{stripPrefix: "testdata/restricted/", labelConditions: true}, expectedOut: []string{ "bin/bin1.meta_lic:notice lib/liba.so.meta_lic:restricted static", "bin/bin1.meta_lic:notice lib/liba.so.meta_lic:restricted_allows_dynamic_linking static", "bin/bin1.meta_lic:notice lib/libc.a.meta_lic:reciprocal static", "bin/bin2.meta_lic:notice lib/libb.so.meta_lic:restricted dynamic", "bin/bin2.meta_lic:notice lib/libd.so.meta_lic:notice dynamic", "highest.apex.meta_lic:notice bin/bin1.meta_lic:notice static", "highest.apex.meta_lic:notice bin/bin2.meta_lic:notice static", "highest.apex.meta_lic:notice lib/liba.so.meta_lic:restricted static", "highest.apex.meta_lic:notice lib/liba.so.meta_lic:restricted_allows_dynamic_linking static", "highest.apex.meta_lic:notice lib/libb.so.meta_lic:restricted static", }, }, Loading Loading @@ -996,7 +996,7 @@ func Test_graphviz(t *testing.T) { matchTarget("bin/bin1.meta_lic", "notice"), matchTarget("bin/bin2.meta_lic", "notice"), matchTarget("highest.apex.meta_lic", "notice"), matchTarget("lib/liba.so.meta_lic", "restricted"), matchTarget("lib/liba.so.meta_lic", "restricted_allows_dynamic_linking"), matchTarget("lib/libb.so.meta_lic", "restricted"), matchTarget("lib/libc.a.meta_lic", "reciprocal"), matchTarget("lib/libd.so.meta_lic", "notice"), Loading