| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 1 | /* | 
 | 2 |  * Copyright (C) 2020 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 |  | 
 | 17 | //! Included as a module in the binder crate internal tests for internal API | 
 | 18 | //! access. | 
 | 19 |  | 
 | 20 | use binder::declare_binder_interface; | 
| Andrew Walbran | 88eca4f | 2021-04-13 14:26:01 +0000 | [diff] [blame] | 21 | use binder::parcel::ParcelFileDescriptor; | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 22 | use binder::{ | 
| Andrew Walbran | 88eca4f | 2021-04-13 14:26:01 +0000 | [diff] [blame] | 23 |     Binder, BinderFeatures, ExceptionCode, Interface, Parcel, Result, SpIBinder, Status, | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 24 |     StatusCode, TransactionCode, | 
 | 25 | }; | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 26 |  | 
 | 27 | use std::ffi::{c_void, CStr, CString}; | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 28 | use std::sync::Once; | 
 | 29 |  | 
 | 30 | #[allow( | 
 | 31 |     non_camel_case_types, | 
 | 32 |     non_snake_case, | 
 | 33 |     non_upper_case_globals, | 
 | 34 |     unused, | 
 | 35 |     improper_ctypes, | 
 | 36 |     missing_docs, | 
 | 37 |     clippy::all | 
 | 38 | )] | 
 | 39 | mod bindings { | 
 | 40 |     include!(concat!(env!("OUT_DIR"), "/bindings.rs")); | 
 | 41 | } | 
 | 42 |  | 
| Stephen Crane | 1729e90 | 2021-02-15 11:05:43 -0800 | [diff] [blame] | 43 | macro_rules! assert_eq { | 
 | 44 |     ($left:expr, $right:expr $(,)?) => { | 
 | 45 |         match (&$left, &$right) { | 
 | 46 |             (left, right) => { | 
 | 47 |                 if *left != *right { | 
 | 48 |                     eprintln!( | 
 | 49 |                         "assertion failed: `{:?}` == `{:?}`, {}:{}:{}", | 
 | 50 |                         &*left, | 
 | 51 |                         &*right, | 
 | 52 |                         file!(), | 
 | 53 |                         line!(), | 
 | 54 |                         column!() | 
 | 55 |                     ); | 
 | 56 |                     return Err(StatusCode::FAILED_TRANSACTION); | 
 | 57 |                 } | 
 | 58 |             } | 
 | 59 |         } | 
 | 60 |     }; | 
 | 61 | } | 
 | 62 |  | 
 | 63 | macro_rules! assert { | 
 | 64 |     ($expr:expr) => { | 
 | 65 |         if !$expr { | 
 | 66 |             eprintln!( | 
 | 67 |                 "assertion failed: `{:?}`, {}:{}:{}", | 
 | 68 |                 $expr, | 
 | 69 |                 file!(), | 
 | 70 |                 line!(), | 
 | 71 |                 column!() | 
 | 72 |             ); | 
 | 73 |             return Err(StatusCode::FAILED_TRANSACTION); | 
 | 74 |         } | 
 | 75 |     }; | 
 | 76 | } | 
 | 77 |  | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 78 | static SERVICE_ONCE: Once = Once::new(); | 
 | 79 | static mut SERVICE: Option<SpIBinder> = None; | 
 | 80 |  | 
 | 81 | /// Start binder service and return a raw AIBinder pointer to it. | 
 | 82 | /// | 
 | 83 | /// Safe to call multiple times, only creates the service once. | 
 | 84 | #[no_mangle] | 
 | 85 | pub extern "C" fn rust_service() -> *mut c_void { | 
 | 86 |     unsafe { | 
 | 87 |         SERVICE_ONCE.call_once(|| { | 
| Andrew Walbran | 88eca4f | 2021-04-13 14:26:01 +0000 | [diff] [blame] | 88 |             SERVICE = Some(BnReadParcelTest::new_binder((), BinderFeatures::default()).as_binder()); | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 89 |         }); | 
 | 90 |         SERVICE.as_ref().unwrap().as_raw().cast() | 
 | 91 |     } | 
 | 92 | } | 
 | 93 |  | 
 | 94 | /// Empty interface just to use the declare_binder_interface macro | 
 | 95 | pub trait ReadParcelTest: Interface {} | 
 | 96 |  | 
 | 97 | declare_binder_interface! { | 
 | 98 |     ReadParcelTest["read_parcel_test"] { | 
 | 99 |         native: BnReadParcelTest(on_transact), | 
 | 100 |         proxy: BpReadParcelTest, | 
 | 101 |     } | 
 | 102 | } | 
 | 103 |  | 
 | 104 | impl ReadParcelTest for Binder<BnReadParcelTest> {} | 
 | 105 |  | 
 | 106 | impl ReadParcelTest for BpReadParcelTest {} | 
 | 107 |  | 
 | 108 | impl ReadParcelTest for () {} | 
 | 109 |  | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 110 | #[allow(clippy::float_cmp)] | 
| Andrew Walbran | 88eca4f | 2021-04-13 14:26:01 +0000 | [diff] [blame] | 111 | fn on_transact( | 
 | 112 |     _service: &dyn ReadParcelTest, | 
 | 113 |     code: TransactionCode, | 
 | 114 |     parcel: &Parcel, | 
 | 115 |     reply: &mut Parcel, | 
 | 116 | ) -> Result<()> { | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 117 |     match code { | 
 | 118 |         bindings::Transaction_TEST_BOOL => { | 
 | 119 |             assert_eq!(parcel.read::<bool>()?, true); | 
 | 120 |             assert_eq!(parcel.read::<bool>()?, false); | 
 | 121 |             assert_eq!(parcel.read::<Vec<bool>>()?, unsafe { | 
 | 122 |                 bindings::TESTDATA_BOOL | 
 | 123 |             }); | 
 | 124 |             assert_eq!(parcel.read::<Option<Vec<bool>>>()?, None); | 
 | 125 |  | 
 | 126 |             reply.write(&true)?; | 
 | 127 |             reply.write(&false)?; | 
 | 128 |             reply.write(&unsafe { bindings::TESTDATA_BOOL }[..])?; | 
 | 129 |             reply.write(&(None as Option<Vec<bool>>))?; | 
 | 130 |         } | 
 | 131 |         bindings::Transaction_TEST_BYTE => { | 
 | 132 |             assert_eq!(parcel.read::<i8>()?, 0); | 
 | 133 |             assert_eq!(parcel.read::<i8>()?, 1); | 
 | 134 |             assert_eq!(parcel.read::<i8>()?, i8::max_value()); | 
 | 135 |             assert_eq!(parcel.read::<Vec<i8>>()?, unsafe { bindings::TESTDATA_I8 }); | 
 | 136 |             assert_eq!(parcel.read::<Vec<u8>>()?, unsafe { bindings::TESTDATA_U8 }); | 
 | 137 |             assert_eq!(parcel.read::<Option<Vec<i8>>>()?, None); | 
 | 138 |  | 
 | 139 |             reply.write(&0i8)?; | 
 | 140 |             reply.write(&1i8)?; | 
 | 141 |             reply.write(&i8::max_value())?; | 
 | 142 |             reply.write(&unsafe { bindings::TESTDATA_I8 }[..])?; | 
 | 143 |             reply.write(&unsafe { bindings::TESTDATA_U8 }[..])?; | 
 | 144 |             reply.write(&(None as Option<Vec<i8>>))?; | 
 | 145 |         } | 
 | 146 |         bindings::Transaction_TEST_U16 => { | 
 | 147 |             assert_eq!(parcel.read::<u16>()?, 0); | 
 | 148 |             assert_eq!(parcel.read::<u16>()?, 1); | 
 | 149 |             assert_eq!(parcel.read::<u16>()?, u16::max_value()); | 
 | 150 |             assert_eq!(parcel.read::<Vec<u16>>()?, unsafe { | 
 | 151 |                 bindings::TESTDATA_CHARS | 
 | 152 |             }); | 
 | 153 |             assert_eq!(parcel.read::<Option<Vec<u16>>>()?, None); | 
 | 154 |  | 
 | 155 |             reply.write(&0u16)?; | 
 | 156 |             reply.write(&1u16)?; | 
 | 157 |             reply.write(&u16::max_value())?; | 
 | 158 |             reply.write(&unsafe { bindings::TESTDATA_CHARS }[..])?; | 
 | 159 |             reply.write(&(None as Option<Vec<u16>>))?; | 
 | 160 |         } | 
 | 161 |         bindings::Transaction_TEST_I32 => { | 
 | 162 |             assert_eq!(parcel.read::<i32>()?, 0); | 
 | 163 |             assert_eq!(parcel.read::<i32>()?, 1); | 
 | 164 |             assert_eq!(parcel.read::<i32>()?, i32::max_value()); | 
 | 165 |             assert_eq!(parcel.read::<Vec<i32>>()?, unsafe { | 
 | 166 |                 bindings::TESTDATA_I32 | 
 | 167 |             }); | 
 | 168 |             assert_eq!(parcel.read::<Option<Vec<i32>>>()?, None); | 
 | 169 |  | 
 | 170 |             reply.write(&0i32)?; | 
 | 171 |             reply.write(&1i32)?; | 
 | 172 |             reply.write(&i32::max_value())?; | 
 | 173 |             reply.write(&unsafe { bindings::TESTDATA_I32 }[..])?; | 
 | 174 |             reply.write(&(None as Option<Vec<i32>>))?; | 
 | 175 |         } | 
 | 176 |         bindings::Transaction_TEST_I64 => { | 
 | 177 |             assert_eq!(parcel.read::<i64>()?, 0); | 
 | 178 |             assert_eq!(parcel.read::<i64>()?, 1); | 
 | 179 |             assert_eq!(parcel.read::<i64>()?, i64::max_value()); | 
 | 180 |             assert_eq!(parcel.read::<Vec<i64>>()?, unsafe { | 
 | 181 |                 bindings::TESTDATA_I64 | 
 | 182 |             }); | 
 | 183 |             assert_eq!(parcel.read::<Option<Vec<i64>>>()?, None); | 
 | 184 |  | 
 | 185 |             reply.write(&0i64)?; | 
 | 186 |             reply.write(&1i64)?; | 
 | 187 |             reply.write(&i64::max_value())?; | 
 | 188 |             reply.write(&unsafe { bindings::TESTDATA_I64 }[..])?; | 
 | 189 |             reply.write(&(None as Option<Vec<i64>>))?; | 
 | 190 |         } | 
 | 191 |         bindings::Transaction_TEST_U64 => { | 
 | 192 |             assert_eq!(parcel.read::<u64>()?, 0); | 
 | 193 |             assert_eq!(parcel.read::<u64>()?, 1); | 
 | 194 |             assert_eq!(parcel.read::<u64>()?, u64::max_value()); | 
 | 195 |             assert_eq!(parcel.read::<Vec<u64>>()?, unsafe { | 
 | 196 |                 bindings::TESTDATA_U64 | 
 | 197 |             }); | 
 | 198 |             assert_eq!(parcel.read::<Option<Vec<u64>>>()?, None); | 
 | 199 |  | 
 | 200 |             reply.write(&0u64)?; | 
 | 201 |             reply.write(&1u64)?; | 
 | 202 |             reply.write(&u64::max_value())?; | 
 | 203 |             reply.write(&unsafe { bindings::TESTDATA_U64 }[..])?; | 
 | 204 |             reply.write(&(None as Option<Vec<u64>>))?; | 
 | 205 |         } | 
 | 206 |         bindings::Transaction_TEST_F32 => { | 
 | 207 |             assert_eq!(parcel.read::<f32>()?, 0f32); | 
 | 208 |             let floats = parcel.read::<Vec<f32>>()?; | 
 | 209 |             assert!(floats[0].is_nan()); | 
 | 210 |             assert_eq!(floats[1..], unsafe { bindings::TESTDATA_FLOAT }[1..]); | 
 | 211 |             assert_eq!(parcel.read::<Option<Vec<f32>>>()?, None); | 
 | 212 |  | 
 | 213 |             reply.write(&0f32)?; | 
 | 214 |             reply.write(&unsafe { bindings::TESTDATA_FLOAT }[..])?; | 
 | 215 |             reply.write(&(None as Option<Vec<f32>>))?; | 
 | 216 |         } | 
 | 217 |         bindings::Transaction_TEST_F64 => { | 
 | 218 |             assert_eq!(parcel.read::<f64>()?, 0f64); | 
 | 219 |             let doubles = parcel.read::<Vec<f64>>()?; | 
 | 220 |             assert!(doubles[0].is_nan()); | 
 | 221 |             assert_eq!(doubles[1..], unsafe { bindings::TESTDATA_DOUBLE }[1..]); | 
 | 222 |             assert_eq!(parcel.read::<Option<Vec<f64>>>()?, None); | 
 | 223 |  | 
 | 224 |             reply.write(&0f64)?; | 
 | 225 |             reply.write(&unsafe { bindings::TESTDATA_DOUBLE }[..])?; | 
 | 226 |             reply.write(&(None as Option<Vec<f64>>))?; | 
 | 227 |         } | 
 | 228 |         bindings::Transaction_TEST_STRING => { | 
 | 229 |             let s: Option<String> = parcel.read()?; | 
 | 230 |             assert_eq!(s.as_deref(), Some("testing")); | 
 | 231 |             let s: Option<String> = parcel.read()?; | 
 | 232 |             assert_eq!(s, None); | 
 | 233 |             let s: Option<Vec<Option<String>>> = parcel.read()?; | 
 | 234 |             for (s, expected) in s | 
 | 235 |                 .unwrap() | 
 | 236 |                 .iter() | 
 | 237 |                 .zip(unsafe { bindings::TESTDATA_STRS }.iter()) | 
 | 238 |             { | 
 | 239 |                 let expected = unsafe { | 
 | 240 |                     expected | 
 | 241 |                         .as_ref() | 
 | 242 |                         .and_then(|e| CStr::from_ptr(e).to_str().ok()) | 
 | 243 |                 }; | 
 | 244 |                 assert_eq!(s.as_deref(), expected); | 
 | 245 |             } | 
 | 246 |             let s: Option<Vec<Option<String>>> = parcel.read()?; | 
 | 247 |             assert_eq!(s, None); | 
 | 248 |  | 
 | 249 |             let strings: Vec<Option<String>> = unsafe { | 
 | 250 |                 bindings::TESTDATA_STRS | 
 | 251 |                     .iter() | 
 | 252 |                     .map(|s| { | 
 | 253 |                         s.as_ref().map(|s| { | 
 | 254 |                             CStr::from_ptr(s) | 
 | 255 |                                 .to_str() | 
 | 256 |                                 .expect("String was not UTF-8") | 
 | 257 |                                 .to_owned() | 
 | 258 |                         }) | 
 | 259 |                     }) | 
 | 260 |                     .collect() | 
 | 261 |             }; | 
 | 262 |  | 
 | 263 |             reply.write("testing")?; | 
 | 264 |             reply.write(&(None as Option<String>))?; | 
 | 265 |             reply.write(&strings)?; | 
 | 266 |             reply.write(&(None as Option<Vec<String>>))?; | 
 | 267 |         } | 
 | 268 |         bindings::Transaction_TEST_FILE_DESCRIPTOR => { | 
 | 269 |             let file1 = parcel.read::<ParcelFileDescriptor>()?; | 
 | 270 |             let file2 = parcel.read::<ParcelFileDescriptor>()?; | 
 | 271 |             let files = parcel.read::<Vec<Option<ParcelFileDescriptor>>>()?; | 
 | 272 |  | 
 | 273 |             reply.write(&file1)?; | 
 | 274 |             reply.write(&file2)?; | 
 | 275 |             reply.write(&files)?; | 
 | 276 |         } | 
 | 277 |         bindings::Transaction_TEST_IBINDER => { | 
 | 278 |             assert!(parcel.read::<Option<SpIBinder>>()?.is_some()); | 
 | 279 |             assert!(parcel.read::<Option<SpIBinder>>()?.is_none()); | 
 | 280 |             let ibinders = parcel.read::<Option<Vec<Option<SpIBinder>>>>()?.unwrap(); | 
 | 281 |             assert_eq!(ibinders.len(), 2); | 
 | 282 |             assert!(ibinders[0].is_some()); | 
 | 283 |             assert!(ibinders[1].is_none()); | 
 | 284 |             assert!(parcel.read::<Option<Vec<Option<SpIBinder>>>>()?.is_none()); | 
 | 285 |  | 
 | 286 |             let service = unsafe { | 
 | 287 |                 SERVICE | 
 | 288 |                     .as_ref() | 
 | 289 |                     .expect("Global binder service not initialized") | 
 | 290 |                     .clone() | 
 | 291 |             }; | 
 | 292 |             reply.write(&service)?; | 
 | 293 |             reply.write(&(None as Option<&SpIBinder>))?; | 
 | 294 |             reply.write(&[Some(&service), None][..])?; | 
 | 295 |             reply.write(&(None as Option<Vec<Option<&SpIBinder>>>))?; | 
 | 296 |         } | 
 | 297 |         bindings::Transaction_TEST_STATUS => { | 
 | 298 |             let status: Status = parcel.read()?; | 
 | 299 |             assert!(status.is_ok()); | 
 | 300 |             let status: Status = parcel.read()?; | 
 | 301 |             assert_eq!(status.exception_code(), ExceptionCode::NULL_POINTER); | 
 | 302 |             assert_eq!( | 
 | 303 |                 status.get_description(), | 
 | 304 |                 "Status(-4, EX_NULL_POINTER): 'a status message'" | 
 | 305 |             ); | 
 | 306 |             let status: Status = parcel.read()?; | 
 | 307 |             assert_eq!(status.service_specific_error(), 42); | 
 | 308 |             assert_eq!( | 
 | 309 |                 status.get_description(), | 
 | 310 |                 "Status(-8, EX_SERVICE_SPECIFIC): '42: a service-specific error'" | 
 | 311 |             ); | 
 | 312 |  | 
 | 313 |             reply.write(&Status::ok())?; | 
 | 314 |             reply.write(&Status::new_exception( | 
 | 315 |                 ExceptionCode::NULL_POINTER, | 
 | 316 |                 Some(&CString::new("a status message").unwrap()), | 
 | 317 |             ))?; | 
 | 318 |             reply.write(&Status::new_service_specific_error( | 
 | 319 |                 42, | 
 | 320 |                 Some(&CString::new("a service-specific error").unwrap()), | 
 | 321 |             ))?; | 
 | 322 |         } | 
 | 323 |         bindings::Transaction_TEST_FAIL => { | 
| Stephen Crane | 1729e90 | 2021-02-15 11:05:43 -0800 | [diff] [blame] | 324 |             assert!(false); | 
| Stephen Crane | d58bce0 | 2020-07-07 12:26:02 -0700 | [diff] [blame] | 325 |         } | 
 | 326 |         _ => return Err(StatusCode::UNKNOWN_TRANSACTION), | 
 | 327 |     } | 
 | 328 |  | 
 | 329 |     assert_eq!(parcel.read::<i32>(), Err(StatusCode::NOT_ENOUGH_DATA)); | 
 | 330 |     Ok(()) | 
 | 331 | } |