blob: dbd3f4ef1f55494347d6dc7d4f8a9f21c0ddfeaa [file] [log] [blame]
Steven Morelanddea3cf92019-07-16 18:06:55 -07001/*
2 * Copyright (C) 2019 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Kalesh Singh8b802912021-03-31 12:13:56 -040017#include <android/binder_libbinder.h>
Steven Moreland12300a02019-08-02 13:27:15 -070018#include <android/binder_manager.h>
19#include <android/binder_stability.h>
Steven Morelanddea3cf92019-07-16 18:06:55 -070020#include <binder/Binder.h>
21#include <binder/IBinder.h>
22#include <binder/IPCThreadState.h>
23#include <binder/IServiceManager.h>
24#include <binder/Parcel.h>
25#include <binder/Stability.h>
26#include <gtest/gtest.h>
27
28#include <sys/prctl.h>
29
Steven Moreland12300a02019-08-02 13:27:15 -070030#include "aidl/BnBinderStabilityTest.h"
Steven Morelanddea3cf92019-07-16 18:06:55 -070031#include "BnBinderStabilityTest.h"
Steven Morelanddea3cf92019-07-16 18:06:55 -070032
33using namespace android;
Steven Moreland12300a02019-08-02 13:27:15 -070034using namespace ndk;
Steven Morelanddea3cf92019-07-16 18:06:55 -070035using android::binder::Status;
Steven Moreland12300a02019-08-02 13:27:15 -070036using android::internal::Stability; // for testing only!
Steven Morelanddea3cf92019-07-16 18:06:55 -070037
Steven Moreland43564fd2019-08-08 17:27:12 -070038const String16 kSystemStabilityServer = String16("binder_stability_test_service_system");
Steven Morelanddea3cf92019-07-16 18:06:55 -070039
Steven Moreland43564fd2019-08-08 17:27:12 -070040// This is handwritten so that we can test different stability levels w/o having the AIDL
41// compiler assign them. Hand-writing binder interfaces is considered a bad practice
42// sanity reasons. YOU SHOULD DEFINE AN AIDL INTERFACE INSTEAD!
43class BadStableBinder : public BBinder {
Steven Moreland12300a02019-08-02 13:27:15 -070044public:
Steven Moreland43564fd2019-08-08 17:27:12 -070045 static constexpr uint32_t USER_TRANSACTION = IBinder::FIRST_CALL_TRANSACTION;
46 static String16 kDescriptor;
47
48 bool gotUserTransaction = false;
49
50 static status_t doUserTransaction(const sp<IBinder>& binder) {
51 Parcel data, reply;
52 data.writeInterfaceToken(kDescriptor);
53 return binder->transact(USER_TRANSACTION, data, &reply, 0/*flags*/);
Steven Morelandc709dd82019-08-05 20:30:14 -070054 }
Steven Moreland12300a02019-08-02 13:27:15 -070055
Steven Moreland43564fd2019-08-08 17:27:12 -070056 status_t onTransact(uint32_t code,
57 const Parcel& data, Parcel* reply, uint32_t flags) override {
58 if (code == USER_TRANSACTION) {
59 // not interested in this kind of stability. Make sure
60 // we have a test failure
61 LOG_ALWAYS_FATAL_IF(!data.enforceInterface(kDescriptor));
62
63 gotUserTransaction = true;
64
65 ALOGE("binder stability: Got user transaction");
66 return OK;
67 }
68 return BBinder::onTransact(code, data, reply, flags);
69 }
70
71 static sp<BadStableBinder> undef() {
72 sp<BadStableBinder> iface = new BadStableBinder();
Steven Moreland12300a02019-08-02 13:27:15 -070073 return iface;
74 }
75
Steven Moreland43564fd2019-08-08 17:27:12 -070076 static sp<BadStableBinder> system() {
77 sp<BadStableBinder> iface = new BadStableBinder();
78 Stability::markCompilationUnit(iface.get()); // <- for test only
Steven Moreland12300a02019-08-02 13:27:15 -070079 return iface;
80 }
81
Steven Moreland43564fd2019-08-08 17:27:12 -070082 static sp<BadStableBinder> vintf() {
83 sp<BadStableBinder> iface = new BadStableBinder();
84 Stability::markVintf(iface.get()); // <- for test only
85 return iface;
86 }
87
88 static sp<BadStableBinder> vendor() {
89 sp<BadStableBinder> iface = new BadStableBinder();
90 Stability::markVndk(iface.get()); // <- for test only
Steven Moreland12300a02019-08-02 13:27:15 -070091 return iface;
92 }
Steven Morelandc709dd82019-08-05 20:30:14 -070093};
Steven Moreland43564fd2019-08-08 17:27:12 -070094String16 BadStableBinder::kDescriptor = String16("BadStableBinder.test");
Steven Morelandc709dd82019-08-05 20:30:14 -070095
Steven Morelanddea3cf92019-07-16 18:06:55 -070096// NO! NO! NO! Do not even think of doing something like this!
97// This is for testing! If a class like this was actually used in production,
98// it would ruin everything!
Steven Moreland43564fd2019-08-08 17:27:12 -070099class MyBinderStabilityTest : public BnBinderStabilityTest {
Steven Morelanddea3cf92019-07-16 18:06:55 -0700100public:
Steven Moreland43564fd2019-08-08 17:27:12 -0700101 Status sendBinder(const sp<IBinder>& /*binder*/) override {
Steven Morelanddea3cf92019-07-16 18:06:55 -0700102 return Status::ok();
103 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700104 Status sendAndCallBinder(const sp<IBinder>& binder) override {
105 Stability::debugLogStability("sendAndCallBinder got binder", binder);
106 return Status::fromExceptionCode(BadStableBinder::doUserTransaction(binder));
Steven Morelandc709dd82019-08-05 20:30:14 -0700107 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700108 Status returnNoStabilityBinder(sp<IBinder>* _aidl_return) override {
109 *_aidl_return = BadStableBinder::undef();
Steven Morelanddea3cf92019-07-16 18:06:55 -0700110 return Status::ok();
111 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700112 Status returnLocalStabilityBinder(sp<IBinder>* _aidl_return) override {
113 *_aidl_return = BadStableBinder::system();
Steven Morelanddea3cf92019-07-16 18:06:55 -0700114 return Status::ok();
115 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700116 Status returnVintfStabilityBinder(sp<IBinder>* _aidl_return) override {
117 *_aidl_return = BadStableBinder::vintf();
Steven Morelanddea3cf92019-07-16 18:06:55 -0700118 return Status::ok();
119 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700120 Status returnVendorStabilityBinder(sp<IBinder>* _aidl_return) override {
121 *_aidl_return = BadStableBinder::vendor();
Steven Morelandc709dd82019-08-05 20:30:14 -0700122 return Status::ok();
Steven Morelanddea3cf92019-07-16 18:06:55 -0700123 }
124};
125
Steven Moreland86a17f82019-09-10 10:18:00 -0700126TEST(BinderStability, OnlyVintfStabilityBinderNeedsVintfDeclaration) {
127 EXPECT_FALSE(Stability::requiresVintfDeclaration(nullptr));
128 EXPECT_FALSE(Stability::requiresVintfDeclaration(BadStableBinder::undef()));
129 EXPECT_FALSE(Stability::requiresVintfDeclaration(BadStableBinder::system()));
130 EXPECT_FALSE(Stability::requiresVintfDeclaration(BadStableBinder::vendor()));
131
132 EXPECT_TRUE(Stability::requiresVintfDeclaration(BadStableBinder::vintf()));
133}
134
Steven Morelande35fef32021-03-23 01:38:24 +0000135TEST(BinderStability, ForceDowngradeStability) {
136 sp<IBinder> someBinder = BadStableBinder::vintf();
137
138 EXPECT_TRUE(Stability::requiresVintfDeclaration(someBinder));
139
140 // silly to do this after already using the binder, but it's for the test
Kalesh Singh8b802912021-03-31 12:13:56 -0400141 Stability::forceDowngradeToLocalStability(someBinder);
142
143 EXPECT_FALSE(Stability::requiresVintfDeclaration(someBinder));
144}
145
146TEST(BinderStability, NdkForceDowngradeStability) {
147 sp<IBinder> someBinder = BadStableBinder::vintf();
148
149 EXPECT_TRUE(Stability::requiresVintfDeclaration(someBinder));
150
151 // silly to do this after already using the binder, but it's for the test
152 AIBinder_forceDowngradeToLocalStability(AIBinder_fromPlatformBinder(someBinder));
Steven Morelande35fef32021-03-23 01:38:24 +0000153
154 EXPECT_FALSE(Stability::requiresVintfDeclaration(someBinder));
155}
156
Steven Moreland86a17f82019-09-10 10:18:00 -0700157TEST(BinderStability, VintfStabilityServerMustBeDeclaredInManifest) {
158 sp<IBinder> vintfServer = BadStableBinder::vintf();
159
Steven Morelandb82b8f82019-10-28 10:52:34 -0700160 for (const char* instance8 : {
161 ".", "/", "/.", "a.d.IFoo", "foo", "a.d.IFoo/foo"
162 }) {
163 String16 instance (instance8);
164
165 EXPECT_EQ(Status::EX_ILLEGAL_ARGUMENT,
166 android::defaultServiceManager()->addService(String16("."), vintfServer)) << instance8;
167 EXPECT_FALSE(android::defaultServiceManager()->isDeclared(instance)) << instance8;
168 }
Steven Moreland86a17f82019-09-10 10:18:00 -0700169}
170
Steven Moreland43564fd2019-08-08 17:27:12 -0700171TEST(BinderStability, CantCallVendorBinderInSystemContext) {
172 sp<IBinder> serverBinder = android::defaultServiceManager()->getService(kSystemStabilityServer);
173 auto server = interface_cast<IBinderStabilityTest>(serverBinder);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700174
Steven Moreland43564fd2019-08-08 17:27:12 -0700175 ASSERT_NE(nullptr, server.get());
176 ASSERT_NE(nullptr, IInterface::asBinder(server)->remoteBinder());
Steven Morelandc709dd82019-08-05 20:30:14 -0700177
Steven Moreland43564fd2019-08-08 17:27:12 -0700178 EXPECT_TRUE(server->sendBinder(BadStableBinder::undef()).isOk());
179 EXPECT_TRUE(server->sendBinder(BadStableBinder::system()).isOk());
180 EXPECT_TRUE(server->sendBinder(BadStableBinder::vintf()).isOk());
181 EXPECT_TRUE(server->sendBinder(BadStableBinder::vendor()).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700182
Steven Moreland43564fd2019-08-08 17:27:12 -0700183 {
184 sp<BadStableBinder> binder = BadStableBinder::undef();
185 EXPECT_TRUE(server->sendAndCallBinder(binder).isOk());
186 EXPECT_TRUE(binder->gotUserTransaction);
187 }
188 {
189 sp<BadStableBinder> binder = BadStableBinder::system();
190 EXPECT_TRUE(server->sendAndCallBinder(binder).isOk());
191 EXPECT_TRUE(binder->gotUserTransaction);
192 }
193 {
194 sp<BadStableBinder> binder = BadStableBinder::vintf();
195 EXPECT_TRUE(server->sendAndCallBinder(binder).isOk());
196 EXPECT_TRUE(binder->gotUserTransaction);
197 }
198 {
199 // !!! user-defined transaction may not be stable for remote server !!!
200 // !!! so, it does not work !!!
201 sp<BadStableBinder> binder = BadStableBinder::vendor();
202 EXPECT_EQ(BAD_TYPE, server->sendAndCallBinder(binder).exceptionCode());
203 EXPECT_FALSE(binder->gotUserTransaction);
204 }
205
206 sp<IBinder> out;
207 EXPECT_TRUE(server->returnNoStabilityBinder(&out).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700208 ASSERT_NE(nullptr, out.get());
Steven Moreland43564fd2019-08-08 17:27:12 -0700209 EXPECT_EQ(OK, out->pingBinder());
210 EXPECT_EQ(OK, BadStableBinder::doUserTransaction(out));
Steven Morelanddea3cf92019-07-16 18:06:55 -0700211
Steven Moreland43564fd2019-08-08 17:27:12 -0700212 EXPECT_TRUE(server->returnLocalStabilityBinder(&out).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700213 ASSERT_NE(nullptr, out.get());
Steven Moreland43564fd2019-08-08 17:27:12 -0700214 EXPECT_EQ(OK, out->pingBinder());
215 EXPECT_EQ(OK, BadStableBinder::doUserTransaction(out));
Steven Morelanddea3cf92019-07-16 18:06:55 -0700216
Steven Moreland43564fd2019-08-08 17:27:12 -0700217 EXPECT_TRUE(server->returnVintfStabilityBinder(&out).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700218 ASSERT_NE(nullptr, out.get());
Steven Moreland43564fd2019-08-08 17:27:12 -0700219 EXPECT_EQ(OK, out->pingBinder());
220 EXPECT_EQ(OK, BadStableBinder::doUserTransaction(out));
Steven Morelanddea3cf92019-07-16 18:06:55 -0700221
Steven Moreland43564fd2019-08-08 17:27:12 -0700222 EXPECT_TRUE(server->returnVendorStabilityBinder(&out).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700223 ASSERT_NE(nullptr, out.get());
Steven Morelanddea3cf92019-07-16 18:06:55 -0700224
Steven Morelandc709dd82019-08-05 20:30:14 -0700225 // !!! libbinder-defined transaction works !!!
Steven Moreland43564fd2019-08-08 17:27:12 -0700226 EXPECT_EQ(OK, out->pingBinder());
Steven Morelanddea3cf92019-07-16 18:06:55 -0700227
Steven Morelandc709dd82019-08-05 20:30:14 -0700228 // !!! user-defined transaction may not be stable !!!
Steven Moreland43564fd2019-08-08 17:27:12 -0700229 // !!! so, it does not work !!!
230 EXPECT_EQ(BAD_TYPE, BadStableBinder::doUserTransaction(out));
Steven Morelanddea3cf92019-07-16 18:06:55 -0700231}
232
Steven Moreland43564fd2019-08-08 17:27:12 -0700233// This is handwritten so that we can test different stability levels w/o having the AIDL
234// compiler assign them. Hand-writing binder interfaces is considered a bad practice
235// sanity reasons. YOU SHOULD DEFINE AN AIDL INTERFACE INSTEAD!
Steven Morelanddea3cf92019-07-16 18:06:55 -0700236
Steven Moreland43564fd2019-08-08 17:27:12 -0700237struct NdkBinderStable_DataClass {
238 bool gotUserTransaction = false;
Steven Moreland12300a02019-08-02 13:27:15 -0700239};
Steven Moreland43564fd2019-08-08 17:27:12 -0700240void* NdkBadStableBinder_Class_onCreate(void* args) {
241 LOG_ALWAYS_FATAL_IF(args != nullptr, "Takes no args");
242 return static_cast<void*>(new NdkBinderStable_DataClass);
243}
244void NdkBadStableBinder_Class_onDestroy(void* userData) {
245 delete static_cast<NdkBinderStable_DataClass*>(userData);
246}
247NdkBinderStable_DataClass* NdkBadStableBinder_getUserData(AIBinder* binder) {
248 LOG_ALWAYS_FATAL_IF(binder == nullptr);
249 void* userData = AIBinder_getUserData(binder);
250 LOG_ALWAYS_FATAL_IF(userData == nullptr, "null data - binder is remote?");
251
252 return static_cast<NdkBinderStable_DataClass*>(userData);
253}
254binder_status_t NdkBadStableBinder_Class_onTransact(
255 AIBinder* binder, transaction_code_t code, const AParcel* /*in*/, AParcel* /*out*/) {
256
257 if (code == BadStableBinder::USER_TRANSACTION) {
258 ALOGE("ndk binder stability: Got user transaction");
259 NdkBadStableBinder_getUserData(binder)->gotUserTransaction = true;
260 return STATUS_OK;
261 }
262
263 return STATUS_UNKNOWN_TRANSACTION;
264}
265
266static AIBinder_Class* kNdkBadStableBinder =
267 AIBinder_Class_define(String8(BadStableBinder::kDescriptor).c_str(),
268 NdkBadStableBinder_Class_onCreate,
269 NdkBadStableBinder_Class_onDestroy,
270 NdkBadStableBinder_Class_onTransact);
271
Steven Moreland12300a02019-08-02 13:27:15 -0700272// for testing only to get around __ANDROID_VNDK__ guard.
273extern "C" void AIBinder_markVendorStability(AIBinder* binder); // <- BAD DO NOT COPY
274
Steven Moreland43564fd2019-08-08 17:27:12 -0700275TEST(BinderStability, NdkCantCallVendorBinderInSystemContext) {
Steven Moreland12300a02019-08-02 13:27:15 -0700276 SpAIBinder binder = SpAIBinder(AServiceManager_getService(
Steven Moreland43564fd2019-08-08 17:27:12 -0700277 String8(kSystemStabilityServer).c_str()));
Steven Moreland12300a02019-08-02 13:27:15 -0700278
279 std::shared_ptr<aidl::IBinderStabilityTest> remoteServer =
280 aidl::IBinderStabilityTest::fromBinder(binder);
281
282 ASSERT_NE(nullptr, remoteServer.get());
283
Steven Moreland43564fd2019-08-08 17:27:12 -0700284 SpAIBinder comp = SpAIBinder(AIBinder_new(kNdkBadStableBinder, nullptr /*args*/));
285 EXPECT_TRUE(remoteServer->sendBinder(comp).isOk());
286 EXPECT_TRUE(remoteServer->sendAndCallBinder(comp).isOk());
287 EXPECT_TRUE(NdkBadStableBinder_getUserData(comp.get())->gotUserTransaction);
Steven Moreland12300a02019-08-02 13:27:15 -0700288
Steven Moreland43564fd2019-08-08 17:27:12 -0700289 SpAIBinder vendor = SpAIBinder(AIBinder_new(kNdkBadStableBinder, nullptr /*args*/));
290 AIBinder_markVendorStability(vendor.get());
Steven Moreland12300a02019-08-02 13:27:15 -0700291 EXPECT_TRUE(remoteServer->sendBinder(vendor).isOk());
292 EXPECT_FALSE(remoteServer->sendAndCallBinder(vendor).isOk());
Steven Moreland43564fd2019-08-08 17:27:12 -0700293 EXPECT_FALSE(NdkBadStableBinder_getUserData(vendor.get())->gotUserTransaction);
Steven Moreland12300a02019-08-02 13:27:15 -0700294}
295
Steven Morelanddea3cf92019-07-16 18:06:55 -0700296class MarksStabilityInConstructor : public BBinder {
297public:
298 static bool gDestructed;
299
300 MarksStabilityInConstructor() {
Steven Moreland12300a02019-08-02 13:27:15 -0700301 Stability::markCompilationUnit(this);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700302 }
303 ~MarksStabilityInConstructor() {
304 gDestructed = true;
305 }
306};
307bool MarksStabilityInConstructor::gDestructed = false;
308
309TEST(BinderStability, MarkingObjectNoDestructTest) {
310 ASSERT_FALSE(MarksStabilityInConstructor::gDestructed);
311
312 // best practice is to put this directly in an sp, but for this test, we
313 // want to explicitly check what happens before that happens
314 MarksStabilityInConstructor* binder = new MarksStabilityInConstructor();
315 ASSERT_FALSE(MarksStabilityInConstructor::gDestructed);
316
317 sp<MarksStabilityInConstructor> binderSp = binder;
318 ASSERT_FALSE(MarksStabilityInConstructor::gDestructed);
319
320 binderSp = nullptr;
321 ASSERT_TRUE(MarksStabilityInConstructor::gDestructed);
322}
323
Steven Morelandcfdeaf12019-08-08 15:41:01 -0700324TEST(BinderStability, RemarkDies) {
325 ASSERT_DEATH({
326 sp<IBinder> binder = new BBinder();
327 Stability::markCompilationUnit(binder.get()); // <-- only called for tests
328 Stability::markVndk(binder.get()); // <-- only called for tests
329 }, "Should only mark known object.");
330}
331
Steven Morelanddea3cf92019-07-16 18:06:55 -0700332int main(int argc, char** argv) {
333 ::testing::InitGoogleTest(&argc, argv);
334
335 if (fork() == 0) {
336 // child process
337 prctl(PR_SET_PDEATHSIG, SIGHUP);
338
Steven Moreland43564fd2019-08-08 17:27:12 -0700339 sp<IBinder> server = new MyBinderStabilityTest;
340 android::defaultServiceManager()->addService(kSystemStabilityServer, server);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700341
342 IPCThreadState::self()->joinThreadPool(true);
343 exit(1); // should not reach
344 }
345
346 // This is not racey. Just giving these services some time to register before we call
347 // getService which sleeps for much longer...
348 usleep(10000);
349
350 return RUN_ALL_TESTS();
351}