blob: bd94e376c8dc5548cd670f7a41ba36484cbe863a [file] [log] [blame]
Logan Chienee97c3e2018-03-12 16:34:26 +08001// Copyright 2018 Google Inc. All rights reserved.
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15package android
16
17import (
Logan Chienee97c3e2018-03-12 16:34:26 +080018 "testing"
Paul Duffin35781882019-07-25 15:41:09 +010019
20 "github.com/google/blueprint"
Logan Chienee97c3e2018-03-12 16:34:26 +080021)
22
23var neverallowTests = []struct {
Paul Duffin115445b2019-08-07 15:31:07 +010024 // The name of the test.
25 name string
26
27 // Optional test specific rules. If specified then they are used instead of the default rules.
28 rules []Rule
29
30 // Additional contents to add to the virtual filesystem used by the tests.
31 fs map[string][]byte
32
33 // The expected error patterns. If empty then no errors are expected, otherwise each error
34 // reported must be matched by at least one of these patterns. A pattern matches if the error
35 // message contains the pattern. A pattern does not have to match the whole error message.
Paul Duffinb5af6202019-08-05 15:07:57 +010036 expectedErrors []string
Logan Chienee97c3e2018-03-12 16:34:26 +080037}{
Paul Duffin35781882019-07-25 15:41:09 +010038 // Test General Functionality
39
40 // in direct deps tests
41 {
42 name: "not_allowed_in_direct_deps",
Paul Duffin115445b2019-08-07 15:31:07 +010043 rules: []Rule{
44 NeverAllow().InDirectDeps("not_allowed_in_direct_deps"),
45 },
Paul Duffin35781882019-07-25 15:41:09 +010046 fs: map[string][]byte{
47 "top/Blueprints": []byte(`
48 cc_library {
49 name: "not_allowed_in_direct_deps",
50 }`),
51 "other/Blueprints": []byte(`
52 cc_library {
53 name: "libother",
54 static_libs: ["not_allowed_in_direct_deps"],
55 }`),
56 },
Paul Duffinb5af6202019-08-05 15:07:57 +010057 expectedErrors: []string{
58 `module "libother": violates neverallow deps:not_allowed_in_direct_deps`,
59 },
Paul Duffin35781882019-07-25 15:41:09 +010060 },
61
Paul Duffin115445b2019-08-07 15:31:07 +010062 // Test android specific rules
Paul Duffin35781882019-07-25 15:41:09 +010063
Paul Duffinc8111702019-07-22 12:13:55 +010064 // include_dir rule tests
65 {
66 name: "include_dir not allowed to reference art",
67 fs: map[string][]byte{
68 "other/Blueprints": []byte(`
69 cc_library {
70 name: "libother",
71 include_dirs: ["art/libdexfile/include"],
72 }`),
73 },
Paul Duffinb5af6202019-08-05 15:07:57 +010074 expectedErrors: []string{
75 "all usages of 'art' have been migrated",
76 },
Paul Duffinc8111702019-07-22 12:13:55 +010077 },
78 {
79 name: "include_dir can reference another location",
80 fs: map[string][]byte{
81 "other/Blueprints": []byte(`
82 cc_library {
83 name: "libother",
84 include_dirs: ["another/include"],
85 }`),
86 },
87 },
88 // Treble rule tests
Logan Chienee97c3e2018-03-12 16:34:26 +080089 {
90 name: "no vndk.enabled under vendor directory",
91 fs: map[string][]byte{
92 "vendor/Blueprints": []byte(`
93 cc_library {
94 name: "libvndk",
95 vendor_available: true,
96 vndk: {
97 enabled: true,
98 },
99 }`),
100 },
Paul Duffinb5af6202019-08-05 15:07:57 +0100101 expectedErrors: []string{
102 "VNDK can never contain a library that is device dependent",
103 },
Logan Chienee97c3e2018-03-12 16:34:26 +0800104 },
105 {
106 name: "no vndk.enabled under device directory",
107 fs: map[string][]byte{
108 "device/Blueprints": []byte(`
109 cc_library {
110 name: "libvndk",
111 vendor_available: true,
112 vndk: {
113 enabled: true,
114 },
115 }`),
116 },
Paul Duffinb5af6202019-08-05 15:07:57 +0100117 expectedErrors: []string{
118 "VNDK can never contain a library that is device dependent",
119 },
Logan Chienee97c3e2018-03-12 16:34:26 +0800120 },
Logan Chienaf29bad2018-03-12 16:35:58 +0800121 {
122 name: "vndk-ext under vendor or device directory",
123 fs: map[string][]byte{
124 "device/Blueprints": []byte(`
125 cc_library {
126 name: "libvndk1_ext",
127 vendor: true,
128 vndk: {
129 enabled: true,
130 },
131 }`),
132 "vendor/Blueprints": []byte(`
133 cc_library {
134 name: "libvndk2_ext",
135 vendor: true,
136 vndk: {
137 enabled: true,
138 },
139 }`),
140 },
Logan Chienaf29bad2018-03-12 16:35:58 +0800141 },
Logan Chienee97c3e2018-03-12 16:34:26 +0800142
143 {
144 name: "no enforce_vintf_manifest.cflags",
145 fs: map[string][]byte{
146 "Blueprints": []byte(`
147 cc_library {
148 name: "libexample",
149 product_variables: {
150 enforce_vintf_manifest: {
151 cflags: ["-DSHOULD_NOT_EXIST"],
152 },
153 },
154 }`),
155 },
Paul Duffinb5af6202019-08-05 15:07:57 +0100156 expectedErrors: []string{
157 "manifest enforcement should be independent",
158 },
Logan Chienee97c3e2018-03-12 16:34:26 +0800159 },
Logan Chienee97c3e2018-03-12 16:34:26 +0800160
161 {
162 name: "no treble_linker_namespaces.cflags",
163 fs: map[string][]byte{
164 "Blueprints": []byte(`
165 cc_library {
166 name: "libexample",
167 product_variables: {
168 treble_linker_namespaces: {
169 cflags: ["-DSHOULD_NOT_EXIST"],
170 },
171 },
172 }`),
173 },
Paul Duffinb5af6202019-08-05 15:07:57 +0100174 expectedErrors: []string{
175 "nothing should care if linker namespaces are enabled or not",
176 },
Logan Chienee97c3e2018-03-12 16:34:26 +0800177 },
178 {
179 name: "libc_bionic_ndk treble_linker_namespaces.cflags",
180 fs: map[string][]byte{
181 "Blueprints": []byte(`
182 cc_library {
183 name: "libc_bionic_ndk",
184 product_variables: {
185 treble_linker_namespaces: {
186 cflags: ["-DSHOULD_NOT_EXIST"],
187 },
188 },
189 }`),
190 },
Logan Chienee97c3e2018-03-12 16:34:26 +0800191 },
Neil Fullerdf5f3562018-10-21 17:19:10 +0100192 {
Dongwon Kang50a299f2019-02-04 09:00:51 -0800193 name: "dependency on updatable-media",
194 fs: map[string][]byte{
195 "Blueprints": []byte(`
196 java_library {
197 name: "needs_updatable_media",
198 libs: ["updatable-media"],
199 }`),
200 },
Paul Duffinb5af6202019-08-05 15:07:57 +0100201 expectedErrors: []string{
202 "updatable-media includes private APIs. Use updatable_media_stubs instead.",
203 },
Dongwon Kang50a299f2019-02-04 09:00:51 -0800204 },
Colin Crossfd4f7432019-03-05 15:06:16 -0800205 {
206 name: "java_device_for_host",
207 fs: map[string][]byte{
208 "Blueprints": []byte(`
209 java_device_for_host {
210 name: "device_for_host",
211 libs: ["core-libart"],
212 }`),
213 },
Paul Duffinb5af6202019-08-05 15:07:57 +0100214 expectedErrors: []string{
215 "java_device_for_host can only be used in whitelisted projects",
216 },
Colin Crossfd4f7432019-03-05 15:06:16 -0800217 },
Paul Duffinb6c6bdd2019-06-07 11:43:55 +0100218 // Libcore rule tests
219 {
Paul Duffin52d398a2019-06-11 12:31:14 +0100220 name: "sdk_version: \"none\" inside core libraries",
221 fs: map[string][]byte{
222 "libcore/Blueprints": []byte(`
223 java_library {
224 name: "inside_core_libraries",
225 sdk_version: "none",
226 }`),
227 },
228 },
229 {
230 name: "sdk_version: \"none\" outside core libraries",
231 fs: map[string][]byte{
232 "Blueprints": []byte(`
233 java_library {
234 name: "outside_core_libraries",
235 sdk_version: "none",
236 }`),
237 },
Paul Duffinb5af6202019-08-05 15:07:57 +0100238 expectedErrors: []string{
239 "module \"outside_core_libraries\": violates neverallow",
240 },
Paul Duffin52d398a2019-06-11 12:31:14 +0100241 },
242 {
243 name: "sdk_version: \"current\"",
244 fs: map[string][]byte{
245 "Blueprints": []byte(`
246 java_library {
247 name: "outside_core_libraries",
248 sdk_version: "current",
249 }`),
250 },
251 },
Logan Chienee97c3e2018-03-12 16:34:26 +0800252}
253
254func TestNeverallow(t *testing.T) {
Logan Chienee97c3e2018-03-12 16:34:26 +0800255 for _, test := range neverallowTests {
Paul Duffin115445b2019-08-07 15:31:07 +0100256 // Create a test per config to allow for test specific config, e.g. test rules.
257 config := TestConfig(buildDir, nil)
Logan Chienee97c3e2018-03-12 16:34:26 +0800258
Paul Duffinb5af6202019-08-05 15:07:57 +0100259 t.Run(test.name, func(t *testing.T) {
Paul Duffin115445b2019-08-07 15:31:07 +0100260 // If the test has its own rules then use them instead of the default ones.
261 if test.rules != nil {
262 setTestNeverallowRules(config, test.rules)
263 }
Paul Duffinb5af6202019-08-05 15:07:57 +0100264 _, errs := testNeverallow(config, test.fs)
265 CheckErrorsAgainstExpectations(t, errs, test.expectedErrors)
Logan Chienee97c3e2018-03-12 16:34:26 +0800266 })
267 }
268}
269
Paul Duffinb5af6202019-08-05 15:07:57 +0100270func testNeverallow(config Config, fs map[string][]byte) (*TestContext, []error) {
Logan Chienee97c3e2018-03-12 16:34:26 +0800271 ctx := NewTestContext()
Colin Cross4b49b762019-11-22 15:25:03 -0800272 ctx.RegisterModuleType("cc_library", newMockCcLibraryModule)
273 ctx.RegisterModuleType("java_library", newMockJavaLibraryModule)
274 ctx.RegisterModuleType("java_library_host", newMockJavaLibraryModule)
275 ctx.RegisterModuleType("java_device_for_host", newMockJavaLibraryModule)
Logan Chienee97c3e2018-03-12 16:34:26 +0800276 ctx.PostDepsMutators(registerNeverallowMutator)
277 ctx.Register()
278
279 ctx.MockFileSystem(fs)
280
281 _, errs := ctx.ParseBlueprintsFiles("Blueprints")
282 if len(errs) > 0 {
283 return ctx, errs
284 }
285
286 _, errs = ctx.PrepareBuildActions(config)
287 return ctx, errs
288}
289
Neil Fullerdf5f3562018-10-21 17:19:10 +0100290type mockCcLibraryProperties struct {
Paul Duffinc8111702019-07-22 12:13:55 +0100291 Include_dirs []string
Logan Chienee97c3e2018-03-12 16:34:26 +0800292 Vendor_available *bool
Paul Duffin35781882019-07-25 15:41:09 +0100293 Static_libs []string
Logan Chienee97c3e2018-03-12 16:34:26 +0800294
295 Vndk struct {
296 Enabled *bool
297 Support_system_process *bool
298 Extends *string
299 }
300
301 Product_variables struct {
302 Enforce_vintf_manifest struct {
303 Cflags []string
304 }
305
306 Treble_linker_namespaces struct {
307 Cflags []string
308 }
309 }
310}
311
312type mockCcLibraryModule struct {
313 ModuleBase
Neil Fullerdf5f3562018-10-21 17:19:10 +0100314 properties mockCcLibraryProperties
Logan Chienee97c3e2018-03-12 16:34:26 +0800315}
316
317func newMockCcLibraryModule() Module {
318 m := &mockCcLibraryModule{}
319 m.AddProperties(&m.properties)
320 InitAndroidModule(m)
321 return m
322}
323
Paul Duffin35781882019-07-25 15:41:09 +0100324type neverallowTestDependencyTag struct {
325 blueprint.BaseDependencyTag
326 name string
327}
328
329var staticDepTag = neverallowTestDependencyTag{name: "static"}
330
331func (c *mockCcLibraryModule) DepsMutator(ctx BottomUpMutatorContext) {
332 for _, lib := range c.properties.Static_libs {
333 ctx.AddDependency(ctx.Module(), staticDepTag, lib)
334 }
335}
336
Logan Chienee97c3e2018-03-12 16:34:26 +0800337func (p *mockCcLibraryModule) GenerateAndroidBuildActions(ModuleContext) {
338}
Neil Fullerdf5f3562018-10-21 17:19:10 +0100339
340type mockJavaLibraryProperties struct {
Paul Duffina3d09862019-06-11 13:40:47 +0100341 Libs []string
342 Sdk_version *string
Neil Fullerdf5f3562018-10-21 17:19:10 +0100343}
344
345type mockJavaLibraryModule struct {
346 ModuleBase
347 properties mockJavaLibraryProperties
348}
349
350func newMockJavaLibraryModule() Module {
351 m := &mockJavaLibraryModule{}
352 m.AddProperties(&m.properties)
353 InitAndroidModule(m)
354 return m
355}
356
Neil Fullerdf5f3562018-10-21 17:19:10 +0100357func (p *mockJavaLibraryModule) GenerateAndroidBuildActions(ModuleContext) {
358}