blob: 490850ebf4c1794c2fc465abe1e66414f17c2473 [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
Steven Moreland12300a02019-08-02 13:27:15 -070017#include <android/binder_manager.h>
18#include <android/binder_stability.h>
Steven Morelanddea3cf92019-07-16 18:06:55 -070019#include <binder/Binder.h>
20#include <binder/IBinder.h>
21#include <binder/IPCThreadState.h>
22#include <binder/IServiceManager.h>
23#include <binder/Parcel.h>
24#include <binder/Stability.h>
25#include <gtest/gtest.h>
26
27#include <sys/prctl.h>
28
Steven Moreland12300a02019-08-02 13:27:15 -070029#include "aidl/BnBinderStabilityTest.h"
Steven Morelanddea3cf92019-07-16 18:06:55 -070030#include "BnBinderStabilityTest.h"
Steven Morelanddea3cf92019-07-16 18:06:55 -070031
32using namespace android;
Steven Moreland12300a02019-08-02 13:27:15 -070033using namespace ndk;
Steven Morelanddea3cf92019-07-16 18:06:55 -070034using android::binder::Status;
Steven Moreland12300a02019-08-02 13:27:15 -070035using android::internal::Stability; // for testing only!
Steven Morelanddea3cf92019-07-16 18:06:55 -070036
Steven Moreland43564fd2019-08-08 17:27:12 -070037const String16 kSystemStabilityServer = String16("binder_stability_test_service_system");
Steven Morelanddea3cf92019-07-16 18:06:55 -070038
Steven Moreland43564fd2019-08-08 17:27:12 -070039// This is handwritten so that we can test different stability levels w/o having the AIDL
40// compiler assign them. Hand-writing binder interfaces is considered a bad practice
41// sanity reasons. YOU SHOULD DEFINE AN AIDL INTERFACE INSTEAD!
42class BadStableBinder : public BBinder {
Steven Moreland12300a02019-08-02 13:27:15 -070043public:
Steven Moreland43564fd2019-08-08 17:27:12 -070044 static constexpr uint32_t USER_TRANSACTION = IBinder::FIRST_CALL_TRANSACTION;
45 static String16 kDescriptor;
46
47 bool gotUserTransaction = false;
48
49 static status_t doUserTransaction(const sp<IBinder>& binder) {
50 Parcel data, reply;
51 data.writeInterfaceToken(kDescriptor);
52 return binder->transact(USER_TRANSACTION, data, &reply, 0/*flags*/);
Steven Morelandc709dd82019-08-05 20:30:14 -070053 }
Steven Moreland12300a02019-08-02 13:27:15 -070054
Steven Moreland43564fd2019-08-08 17:27:12 -070055 status_t onTransact(uint32_t code,
56 const Parcel& data, Parcel* reply, uint32_t flags) override {
57 if (code == USER_TRANSACTION) {
58 // not interested in this kind of stability. Make sure
59 // we have a test failure
60 LOG_ALWAYS_FATAL_IF(!data.enforceInterface(kDescriptor));
61
62 gotUserTransaction = true;
63
64 ALOGE("binder stability: Got user transaction");
65 return OK;
66 }
67 return BBinder::onTransact(code, data, reply, flags);
68 }
69
70 static sp<BadStableBinder> undef() {
71 sp<BadStableBinder> iface = new BadStableBinder();
Steven Moreland12300a02019-08-02 13:27:15 -070072 return iface;
73 }
74
Steven Moreland43564fd2019-08-08 17:27:12 -070075 static sp<BadStableBinder> system() {
76 sp<BadStableBinder> iface = new BadStableBinder();
77 Stability::markCompilationUnit(iface.get()); // <- for test only
Steven Moreland12300a02019-08-02 13:27:15 -070078 return iface;
79 }
80
Steven Moreland43564fd2019-08-08 17:27:12 -070081 static sp<BadStableBinder> vintf() {
82 sp<BadStableBinder> iface = new BadStableBinder();
83 Stability::markVintf(iface.get()); // <- for test only
84 return iface;
85 }
86
87 static sp<BadStableBinder> vendor() {
88 sp<BadStableBinder> iface = new BadStableBinder();
89 Stability::markVndk(iface.get()); // <- for test only
Steven Moreland12300a02019-08-02 13:27:15 -070090 return iface;
91 }
Steven Morelandc709dd82019-08-05 20:30:14 -070092};
Steven Moreland43564fd2019-08-08 17:27:12 -070093String16 BadStableBinder::kDescriptor = String16("BadStableBinder.test");
Steven Morelandc709dd82019-08-05 20:30:14 -070094
Steven Morelanddea3cf92019-07-16 18:06:55 -070095// NO! NO! NO! Do not even think of doing something like this!
96// This is for testing! If a class like this was actually used in production,
97// it would ruin everything!
Steven Moreland43564fd2019-08-08 17:27:12 -070098class MyBinderStabilityTest : public BnBinderStabilityTest {
Steven Morelanddea3cf92019-07-16 18:06:55 -070099public:
Steven Moreland43564fd2019-08-08 17:27:12 -0700100 Status sendBinder(const sp<IBinder>& /*binder*/) override {
Steven Morelanddea3cf92019-07-16 18:06:55 -0700101 return Status::ok();
102 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700103 Status sendAndCallBinder(const sp<IBinder>& binder) override {
104 Stability::debugLogStability("sendAndCallBinder got binder", binder);
105 return Status::fromExceptionCode(BadStableBinder::doUserTransaction(binder));
Steven Morelandc709dd82019-08-05 20:30:14 -0700106 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700107 Status returnNoStabilityBinder(sp<IBinder>* _aidl_return) override {
108 *_aidl_return = BadStableBinder::undef();
Steven Morelanddea3cf92019-07-16 18:06:55 -0700109 return Status::ok();
110 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700111 Status returnLocalStabilityBinder(sp<IBinder>* _aidl_return) override {
112 *_aidl_return = BadStableBinder::system();
Steven Morelanddea3cf92019-07-16 18:06:55 -0700113 return Status::ok();
114 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700115 Status returnVintfStabilityBinder(sp<IBinder>* _aidl_return) override {
116 *_aidl_return = BadStableBinder::vintf();
Steven Morelanddea3cf92019-07-16 18:06:55 -0700117 return Status::ok();
118 }
Steven Moreland43564fd2019-08-08 17:27:12 -0700119 Status returnVendorStabilityBinder(sp<IBinder>* _aidl_return) override {
120 *_aidl_return = BadStableBinder::vendor();
Steven Morelandc709dd82019-08-05 20:30:14 -0700121 return Status::ok();
Steven Morelanddea3cf92019-07-16 18:06:55 -0700122 }
123};
124
Steven Moreland43564fd2019-08-08 17:27:12 -0700125TEST(BinderStability, CantCallVendorBinderInSystemContext) {
126 sp<IBinder> serverBinder = android::defaultServiceManager()->getService(kSystemStabilityServer);
127 auto server = interface_cast<IBinderStabilityTest>(serverBinder);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700128
Steven Moreland43564fd2019-08-08 17:27:12 -0700129 ASSERT_NE(nullptr, server.get());
130 ASSERT_NE(nullptr, IInterface::asBinder(server)->remoteBinder());
Steven Morelandc709dd82019-08-05 20:30:14 -0700131
Steven Moreland43564fd2019-08-08 17:27:12 -0700132 EXPECT_TRUE(server->sendBinder(BadStableBinder::undef()).isOk());
133 EXPECT_TRUE(server->sendBinder(BadStableBinder::system()).isOk());
134 EXPECT_TRUE(server->sendBinder(BadStableBinder::vintf()).isOk());
135 EXPECT_TRUE(server->sendBinder(BadStableBinder::vendor()).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700136
Steven Moreland43564fd2019-08-08 17:27:12 -0700137 {
138 sp<BadStableBinder> binder = BadStableBinder::undef();
139 EXPECT_TRUE(server->sendAndCallBinder(binder).isOk());
140 EXPECT_TRUE(binder->gotUserTransaction);
141 }
142 {
143 sp<BadStableBinder> binder = BadStableBinder::system();
144 EXPECT_TRUE(server->sendAndCallBinder(binder).isOk());
145 EXPECT_TRUE(binder->gotUserTransaction);
146 }
147 {
148 sp<BadStableBinder> binder = BadStableBinder::vintf();
149 EXPECT_TRUE(server->sendAndCallBinder(binder).isOk());
150 EXPECT_TRUE(binder->gotUserTransaction);
151 }
152 {
153 // !!! user-defined transaction may not be stable for remote server !!!
154 // !!! so, it does not work !!!
155 sp<BadStableBinder> binder = BadStableBinder::vendor();
156 EXPECT_EQ(BAD_TYPE, server->sendAndCallBinder(binder).exceptionCode());
157 EXPECT_FALSE(binder->gotUserTransaction);
158 }
159
160 sp<IBinder> out;
161 EXPECT_TRUE(server->returnNoStabilityBinder(&out).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700162 ASSERT_NE(nullptr, out.get());
Steven Moreland43564fd2019-08-08 17:27:12 -0700163 EXPECT_EQ(OK, out->pingBinder());
164 EXPECT_EQ(OK, BadStableBinder::doUserTransaction(out));
Steven Morelanddea3cf92019-07-16 18:06:55 -0700165
Steven Moreland43564fd2019-08-08 17:27:12 -0700166 EXPECT_TRUE(server->returnLocalStabilityBinder(&out).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700167 ASSERT_NE(nullptr, out.get());
Steven Moreland43564fd2019-08-08 17:27:12 -0700168 EXPECT_EQ(OK, out->pingBinder());
169 EXPECT_EQ(OK, BadStableBinder::doUserTransaction(out));
Steven Morelanddea3cf92019-07-16 18:06:55 -0700170
Steven Moreland43564fd2019-08-08 17:27:12 -0700171 EXPECT_TRUE(server->returnVintfStabilityBinder(&out).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700172 ASSERT_NE(nullptr, out.get());
Steven Moreland43564fd2019-08-08 17:27:12 -0700173 EXPECT_EQ(OK, out->pingBinder());
174 EXPECT_EQ(OK, BadStableBinder::doUserTransaction(out));
Steven Morelanddea3cf92019-07-16 18:06:55 -0700175
Steven Moreland43564fd2019-08-08 17:27:12 -0700176 EXPECT_TRUE(server->returnVendorStabilityBinder(&out).isOk());
Steven Morelandc709dd82019-08-05 20:30:14 -0700177 ASSERT_NE(nullptr, out.get());
Steven Morelanddea3cf92019-07-16 18:06:55 -0700178
Steven Morelandc709dd82019-08-05 20:30:14 -0700179 // !!! libbinder-defined transaction works !!!
Steven Moreland43564fd2019-08-08 17:27:12 -0700180 EXPECT_EQ(OK, out->pingBinder());
Steven Morelanddea3cf92019-07-16 18:06:55 -0700181
Steven Morelandc709dd82019-08-05 20:30:14 -0700182 // !!! user-defined transaction may not be stable !!!
Steven Moreland43564fd2019-08-08 17:27:12 -0700183 // !!! so, it does not work !!!
184 EXPECT_EQ(BAD_TYPE, BadStableBinder::doUserTransaction(out));
Steven Morelanddea3cf92019-07-16 18:06:55 -0700185}
186
Steven Moreland43564fd2019-08-08 17:27:12 -0700187// This is handwritten so that we can test different stability levels w/o having the AIDL
188// compiler assign them. Hand-writing binder interfaces is considered a bad practice
189// sanity reasons. YOU SHOULD DEFINE AN AIDL INTERFACE INSTEAD!
Steven Morelanddea3cf92019-07-16 18:06:55 -0700190
Steven Moreland43564fd2019-08-08 17:27:12 -0700191struct NdkBinderStable_DataClass {
192 bool gotUserTransaction = false;
Steven Moreland12300a02019-08-02 13:27:15 -0700193};
Steven Moreland43564fd2019-08-08 17:27:12 -0700194void* NdkBadStableBinder_Class_onCreate(void* args) {
195 LOG_ALWAYS_FATAL_IF(args != nullptr, "Takes no args");
196 return static_cast<void*>(new NdkBinderStable_DataClass);
197}
198void NdkBadStableBinder_Class_onDestroy(void* userData) {
199 delete static_cast<NdkBinderStable_DataClass*>(userData);
200}
201NdkBinderStable_DataClass* NdkBadStableBinder_getUserData(AIBinder* binder) {
202 LOG_ALWAYS_FATAL_IF(binder == nullptr);
203 void* userData = AIBinder_getUserData(binder);
204 LOG_ALWAYS_FATAL_IF(userData == nullptr, "null data - binder is remote?");
205
206 return static_cast<NdkBinderStable_DataClass*>(userData);
207}
208binder_status_t NdkBadStableBinder_Class_onTransact(
209 AIBinder* binder, transaction_code_t code, const AParcel* /*in*/, AParcel* /*out*/) {
210
211 if (code == BadStableBinder::USER_TRANSACTION) {
212 ALOGE("ndk binder stability: Got user transaction");
213 NdkBadStableBinder_getUserData(binder)->gotUserTransaction = true;
214 return STATUS_OK;
215 }
216
217 return STATUS_UNKNOWN_TRANSACTION;
218}
219
220static AIBinder_Class* kNdkBadStableBinder =
221 AIBinder_Class_define(String8(BadStableBinder::kDescriptor).c_str(),
222 NdkBadStableBinder_Class_onCreate,
223 NdkBadStableBinder_Class_onDestroy,
224 NdkBadStableBinder_Class_onTransact);
225
Steven Moreland12300a02019-08-02 13:27:15 -0700226// for testing only to get around __ANDROID_VNDK__ guard.
227extern "C" void AIBinder_markVendorStability(AIBinder* binder); // <- BAD DO NOT COPY
228
Steven Moreland43564fd2019-08-08 17:27:12 -0700229TEST(BinderStability, NdkCantCallVendorBinderInSystemContext) {
Steven Moreland12300a02019-08-02 13:27:15 -0700230 SpAIBinder binder = SpAIBinder(AServiceManager_getService(
Steven Moreland43564fd2019-08-08 17:27:12 -0700231 String8(kSystemStabilityServer).c_str()));
Steven Moreland12300a02019-08-02 13:27:15 -0700232
233 std::shared_ptr<aidl::IBinderStabilityTest> remoteServer =
234 aidl::IBinderStabilityTest::fromBinder(binder);
235
236 ASSERT_NE(nullptr, remoteServer.get());
237
Steven Moreland43564fd2019-08-08 17:27:12 -0700238 SpAIBinder comp = SpAIBinder(AIBinder_new(kNdkBadStableBinder, nullptr /*args*/));
239 EXPECT_TRUE(remoteServer->sendBinder(comp).isOk());
240 EXPECT_TRUE(remoteServer->sendAndCallBinder(comp).isOk());
241 EXPECT_TRUE(NdkBadStableBinder_getUserData(comp.get())->gotUserTransaction);
Steven Moreland12300a02019-08-02 13:27:15 -0700242
Steven Moreland43564fd2019-08-08 17:27:12 -0700243 SpAIBinder vendor = SpAIBinder(AIBinder_new(kNdkBadStableBinder, nullptr /*args*/));
244 AIBinder_markVendorStability(vendor.get());
Steven Moreland12300a02019-08-02 13:27:15 -0700245 EXPECT_TRUE(remoteServer->sendBinder(vendor).isOk());
246 EXPECT_FALSE(remoteServer->sendAndCallBinder(vendor).isOk());
Steven Moreland43564fd2019-08-08 17:27:12 -0700247 EXPECT_FALSE(NdkBadStableBinder_getUserData(vendor.get())->gotUserTransaction);
Steven Moreland12300a02019-08-02 13:27:15 -0700248}
249
Steven Morelanddea3cf92019-07-16 18:06:55 -0700250class MarksStabilityInConstructor : public BBinder {
251public:
252 static bool gDestructed;
253
254 MarksStabilityInConstructor() {
Steven Moreland12300a02019-08-02 13:27:15 -0700255 Stability::markCompilationUnit(this);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700256 }
257 ~MarksStabilityInConstructor() {
258 gDestructed = true;
259 }
260};
261bool MarksStabilityInConstructor::gDestructed = false;
262
263TEST(BinderStability, MarkingObjectNoDestructTest) {
264 ASSERT_FALSE(MarksStabilityInConstructor::gDestructed);
265
266 // best practice is to put this directly in an sp, but for this test, we
267 // want to explicitly check what happens before that happens
268 MarksStabilityInConstructor* binder = new MarksStabilityInConstructor();
269 ASSERT_FALSE(MarksStabilityInConstructor::gDestructed);
270
271 sp<MarksStabilityInConstructor> binderSp = binder;
272 ASSERT_FALSE(MarksStabilityInConstructor::gDestructed);
273
274 binderSp = nullptr;
275 ASSERT_TRUE(MarksStabilityInConstructor::gDestructed);
276}
277
278int main(int argc, char** argv) {
279 ::testing::InitGoogleTest(&argc, argv);
280
281 if (fork() == 0) {
282 // child process
283 prctl(PR_SET_PDEATHSIG, SIGHUP);
284
Steven Moreland43564fd2019-08-08 17:27:12 -0700285 sp<IBinder> server = new MyBinderStabilityTest;
286 android::defaultServiceManager()->addService(kSystemStabilityServer, server);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700287
288 IPCThreadState::self()->joinThreadPool(true);
289 exit(1); // should not reach
290 }
291
292 // This is not racey. Just giving these services some time to register before we call
293 // getService which sleeps for much longer...
294 usleep(10000);
295
296 return RUN_ALL_TESTS();
297}