1 /* 2 * Copyright (C) 2011 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 #include "class_linker.h" 18 #include "common_test.h" 19 #include "dex_file.h" 20 #include "gtest/gtest.h" 21 #include "leb128_encoder.h" 22 #include "mirror/class-inl.h" 23 #include "mirror/object_array-inl.h" 24 #include "mirror/object-inl.h" 25 #include "mirror/stack_trace_element.h" 26 #include "runtime.h" 27 #include "scoped_thread_state_change.h" 28 #include "sirt_ref.h" 29 #include "thread.h" 30 #include "UniquePtr.h" 31 32 namespace art { 33 34 class ExceptionTest : public CommonTest { 35 protected: 36 virtual void SetUp() { 37 CommonTest::SetUp(); 38 39 ScopedObjectAccess soa(Thread::Current()); 40 SirtRef<mirror::ClassLoader> class_loader(soa.Self(), 41 soa.Decode<mirror::ClassLoader*>(LoadDex("ExceptionHandle"))); 42 my_klass_ = class_linker_->FindClass("LExceptionHandle;", class_loader.get()); 43 ASSERT_TRUE(my_klass_ != NULL); 44 class_linker_->EnsureInitialized(my_klass_, true, true); 45 46 dex_ = my_klass_->GetDexCache()->GetDexFile(); 47 48 uint32_t code_size = 12; 49 fake_code_.push_back((code_size >> 24) & 0xFF); 50 fake_code_.push_back((code_size >> 16) & 0xFF); 51 fake_code_.push_back((code_size >> 8) & 0xFF); 52 fake_code_.push_back((code_size >> 0) & 0xFF); 53 for (size_t i = 0 ; i < code_size; i++) { 54 fake_code_.push_back(0x70 | i); 55 } 56 57 fake_mapping_data_.PushBack(4); // first element is count 58 fake_mapping_data_.PushBack(4); // total (non-length) elements 59 fake_mapping_data_.PushBack(2); // count of pc to dex elements 60 // --- pc to dex table 61 fake_mapping_data_.PushBack(3); // offset 3 62 fake_mapping_data_.PushBack(3); // maps to dex offset 3 63 // --- dex to pc table 64 fake_mapping_data_.PushBack(3); // offset 3 65 fake_mapping_data_.PushBack(3); // maps to dex offset 3 66 67 fake_vmap_table_data_.PushBack(0); 68 69 fake_gc_map_.push_back(0); // 0 bytes to encode references and native pc offsets. 70 fake_gc_map_.push_back(0); 71 fake_gc_map_.push_back(0); // 0 entries. 72 fake_gc_map_.push_back(0); 73 74 method_f_ = my_klass_->FindVirtualMethod("f", "()I"); 75 ASSERT_TRUE(method_f_ != NULL); 76 method_f_->SetFrameSizeInBytes(kStackAlignment); 77 method_f_->SetEntryPointFromCompiledCode(CompiledMethod::CodePointer(&fake_code_[sizeof(code_size)], kThumb2)); 78 method_f_->SetMappingTable(&fake_mapping_data_.GetData()[0]); 79 method_f_->SetVmapTable(&fake_vmap_table_data_.GetData()[0]); 80 method_f_->SetNativeGcMap(&fake_gc_map_[0]); 81 82 method_g_ = my_klass_->FindVirtualMethod("g", "(I)V"); 83 ASSERT_TRUE(method_g_ != NULL); 84 method_g_->SetFrameSizeInBytes(kStackAlignment); 85 method_g_->SetEntryPointFromCompiledCode(CompiledMethod::CodePointer(&fake_code_[sizeof(code_size)], kThumb2)); 86 method_g_->SetMappingTable(&fake_mapping_data_.GetData()[0]); 87 method_g_->SetVmapTable(&fake_vmap_table_data_.GetData()[0]); 88 method_g_->SetNativeGcMap(&fake_gc_map_[0]); 89 } 90 91 const DexFile* dex_; 92 93 std::vector<uint8_t> fake_code_; 94 UnsignedLeb128EncodingVector fake_mapping_data_; 95 UnsignedLeb128EncodingVector fake_vmap_table_data_; 96 std::vector<uint8_t> fake_gc_map_; 97 98 mirror::ArtMethod* method_f_; 99 mirror::ArtMethod* method_g_; 100 101 private: 102 mirror::Class* my_klass_; 103 }; 104 105 TEST_F(ExceptionTest, FindCatchHandler) { 106 const DexFile::CodeItem* code_item = dex_->GetCodeItem(method_f_->GetCodeItemOffset()); 107 108 ASSERT_TRUE(code_item != NULL); 109 110 ASSERT_EQ(2u, code_item->tries_size_); 111 ASSERT_NE(0u, code_item->insns_size_in_code_units_); 112 113 const DexFile::TryItem *t0, *t1; 114 t0 = dex_->GetTryItems(*code_item, 0); 115 t1 = dex_->GetTryItems(*code_item, 1); 116 EXPECT_LE(t0->start_addr_, t1->start_addr_); 117 { 118 CatchHandlerIterator iter(*code_item, 4 /* Dex PC in the first try block */); 119 EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex())); 120 ASSERT_TRUE(iter.HasNext()); 121 iter.Next(); 122 EXPECT_STREQ("Ljava/lang/Exception;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex())); 123 ASSERT_TRUE(iter.HasNext()); 124 iter.Next(); 125 EXPECT_FALSE(iter.HasNext()); 126 } 127 { 128 CatchHandlerIterator iter(*code_item, 8 /* Dex PC in the second try block */); 129 EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex())); 130 ASSERT_TRUE(iter.HasNext()); 131 iter.Next(); 132 EXPECT_FALSE(iter.HasNext()); 133 } 134 { 135 CatchHandlerIterator iter(*code_item, 11 /* Dex PC not in any try block */); 136 EXPECT_FALSE(iter.HasNext()); 137 } 138 } 139 140 TEST_F(ExceptionTest, StackTraceElement) { 141 Thread* thread = Thread::Current(); 142 thread->TransitionFromSuspendedToRunnable(); 143 bool started = runtime_->Start(); 144 CHECK(started); 145 JNIEnv* env = thread->GetJniEnv(); 146 ScopedObjectAccess soa(env); 147 148 std::vector<uintptr_t> fake_stack; 149 ASSERT_EQ(kStackAlignment, 16); 150 ASSERT_EQ(sizeof(uintptr_t), sizeof(uint32_t)); 151 152 #if !defined(ART_USE_PORTABLE_COMPILER) 153 // Create two fake stack frames with mapping data created in SetUp. We map offset 3 in the code 154 // to dex pc 3. 155 const uint32_t dex_pc = 3; 156 157 // Create/push fake 16byte stack frame for method g 158 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_g_)); 159 fake_stack.push_back(0); 160 fake_stack.push_back(0); 161 fake_stack.push_back(method_f_->ToNativePc(dex_pc)); // return pc 162 163 // Create/push fake 16byte stack frame for method f 164 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_f_)); 165 fake_stack.push_back(0); 166 fake_stack.push_back(0); 167 fake_stack.push_back(0xEBAD6070); // return pc 168 169 // Pull Method* of NULL to terminate the trace 170 fake_stack.push_back(0); 171 172 // Push null values which will become null incoming arguments. 173 fake_stack.push_back(0); 174 fake_stack.push_back(0); 175 fake_stack.push_back(0); 176 177 // Set up thread to appear as if we called out of method_g_ at pc dex 3 178 thread->SetTopOfStack(&fake_stack[0], method_g_->ToNativePc(dex_pc)); // return pc 179 #else 180 // Create/push fake 20-byte shadow frame for method g 181 fake_stack.push_back(0); 182 fake_stack.push_back(0); 183 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_g_)); 184 fake_stack.push_back(3); 185 fake_stack.push_back(0); 186 187 // Create/push fake 20-byte shadow frame for method f 188 fake_stack.push_back(0); 189 fake_stack.push_back(0); 190 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_f_)); 191 fake_stack.push_back(3); 192 fake_stack.push_back(0); 193 194 thread->PushShadowFrame(reinterpret_cast<ShadowFrame*>(&fake_stack[5])); 195 thread->PushShadowFrame(reinterpret_cast<ShadowFrame*>(&fake_stack[0])); 196 #endif 197 198 jobject internal = thread->CreateInternalStackTrace(soa); 199 ASSERT_TRUE(internal != NULL); 200 jobjectArray ste_array = Thread::InternalStackTraceToStackTraceElementArray(env, internal); 201 ASSERT_TRUE(ste_array != NULL); 202 mirror::ObjectArray<mirror::StackTraceElement>* trace_array = 203 soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>*>(ste_array); 204 205 ASSERT_TRUE(trace_array != NULL); 206 ASSERT_TRUE(trace_array->Get(0) != NULL); 207 EXPECT_STREQ("ExceptionHandle", 208 trace_array->Get(0)->GetDeclaringClass()->ToModifiedUtf8().c_str()); 209 EXPECT_STREQ("ExceptionHandle.java", trace_array->Get(0)->GetFileName()->ToModifiedUtf8().c_str()); 210 EXPECT_STREQ("g", trace_array->Get(0)->GetMethodName()->ToModifiedUtf8().c_str()); 211 EXPECT_EQ(37, trace_array->Get(0)->GetLineNumber()); 212 213 ASSERT_TRUE(trace_array->Get(1) != NULL); 214 EXPECT_STREQ("ExceptionHandle", 215 trace_array->Get(1)->GetDeclaringClass()->ToModifiedUtf8().c_str()); 216 EXPECT_STREQ("ExceptionHandle.java", trace_array->Get(1)->GetFileName()->ToModifiedUtf8().c_str()); 217 EXPECT_STREQ("f", trace_array->Get(1)->GetMethodName()->ToModifiedUtf8().c_str()); 218 EXPECT_EQ(22, trace_array->Get(1)->GetLineNumber()); 219 220 #if !defined(ART_USE_PORTABLE_COMPILER) 221 thread->SetTopOfStack(NULL, 0); // Disarm the assertion that no code is running when we detach. 222 #else 223 thread->PopShadowFrame(); 224 thread->PopShadowFrame(); 225 #endif 226 } 227 228 } // namespace art 229
