blob: 6d4889c9ec8c38880375a7d3a1682ba5ce26623b [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 */
Elliott Hughes11e45072011-08-16 17:40:46 -070016
Elliott Hughes42ee1422011-09-06 12:33:32 -070017#include "utils.h"
18
Christopher Ferris943af7d2014-01-16 12:41:46 -080019#include <inttypes.h>
Elliott Hughes92b3b562011-09-08 16:32:26 -070020#include <pthread.h>
Brian Carlstroma9f19782011-10-13 00:14:47 -070021#include <sys/stat.h>
Elliott Hughes42ee1422011-09-06 12:33:32 -070022#include <sys/syscall.h>
23#include <sys/types.h>
Brian Carlstrom4cf5e572014-02-25 11:47:48 -080024#include <sys/wait.h>
Elliott Hughes42ee1422011-09-06 12:33:32 -070025#include <unistd.h>
Ian Rogers700a4022014-05-19 16:49:03 -070026#include <memory>
Elliott Hughes42ee1422011-09-06 12:33:32 -070027
Mathieu Chartierc7853442015-03-27 14:35:38 -070028#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070029#include "art_method-inl.h"
Brian Carlstrom6449c622014-02-10 23:48:36 -080030#include "base/stl_util.h"
Elliott Hughes76160052012-12-12 16:31:20 -080031#include "base/unix_file/fd_file.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070032#include "dex_file-inl.h"
Andreas Gampe5073fed2015-08-10 11:40:25 -070033#include "dex_instruction.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070034#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080035#include "mirror/class_loader.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080036#include "mirror/object-inl.h"
37#include "mirror/object_array-inl.h"
38#include "mirror/string.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010039#include "oat_quick_method_header.h"
buzbeec143c552011-08-20 17:38:58 -070040#include "os.h"
Kenny Root067d20f2014-03-05 14:57:21 -080041#include "scoped_thread_state_change.h"
Ian Rogersa6724902013-09-23 09:23:37 -070042#include "utf-inl.h"
Elliott Hughes11e45072011-08-16 17:40:46 -070043
Elliott Hughes4ae722a2012-03-13 11:08:51 -070044#if defined(__APPLE__)
Brian Carlstrom7934ac22013-07-26 10:54:15 -070045#include "AvailabilityMacros.h" // For MAC_OS_X_VERSION_MAX_ALLOWED
Elliott Hughesf1498432012-03-28 19:34:27 -070046#include <sys/syscall.h>
David Sehrfa442002016-08-22 18:42:08 -070047#include <crt_externs.h>
Elliott Hughes4ae722a2012-03-13 11:08:51 -070048#endif
49
Elliott Hughes058a6de2012-05-24 19:13:02 -070050#if defined(__linux__)
Elliott Hughese1aee692012-01-17 16:40:10 -080051#include <linux/unistd.h>
Elliott Hughese1aee692012-01-17 16:40:10 -080052#endif
53
Elliott Hughes11e45072011-08-16 17:40:46 -070054namespace art {
55
David Sehr1488ff82016-08-16 19:22:57 -070056namespace {
57#ifdef __APPLE__
58inline char** GetEnviron() {
59 // When Google Test is built as a framework on MacOS X, the environ variable
60 // is unavailable. Apple's documentation (man environ) recommends using
61 // _NSGetEnviron() instead.
62 return *_NSGetEnviron();
63}
64#else
65// Some POSIX platforms expect you to declare environ. extern "C" makes
66// it reside in the global namespace.
67extern "C" char** environ;
68inline char** GetEnviron() { return environ; }
69#endif
70} // namespace
71
Elliott Hughes11d1b0c2012-01-23 16:57:47 -080072pid_t GetTid() {
Brian Carlstromf3a26412012-08-24 11:06:02 -070073#if defined(__APPLE__)
74 uint64_t owner;
Mathieu Chartier2cebb242015-04-21 16:50:40 -070075 CHECK_PTHREAD_CALL(pthread_threadid_np, (nullptr, &owner), __FUNCTION__); // Requires Mac OS 10.6
Brian Carlstromf3a26412012-08-24 11:06:02 -070076 return owner;
Elliott Hughes323aa862014-08-20 15:00:04 -070077#elif defined(__BIONIC__)
78 return gettid();
Elliott Hughes11d1b0c2012-01-23 16:57:47 -080079#else
Elliott Hughes11d1b0c2012-01-23 16:57:47 -080080 return syscall(__NR_gettid);
81#endif
82}
83
Elliott Hughes289be852012-06-12 13:57:20 -070084std::string GetThreadName(pid_t tid) {
85 std::string result;
86 if (ReadFileToString(StringPrintf("/proc/self/task/%d/comm", tid), &result)) {
Brian Carlstrom7934ac22013-07-26 10:54:15 -070087 result.resize(result.size() - 1); // Lose the trailing '\n'.
Elliott Hughes289be852012-06-12 13:57:20 -070088 } else {
89 result = "<unknown>";
90 }
91 return result;
92}
93
Elliott Hughes6d3fc562014-08-27 11:47:01 -070094void GetThreadStack(pthread_t thread, void** stack_base, size_t* stack_size, size_t* guard_size) {
Elliott Hughese1884192012-04-23 12:38:15 -070095#if defined(__APPLE__)
Brian Carlstrom29212012013-09-12 22:18:30 -070096 *stack_size = pthread_get_stacksize_np(thread);
Ian Rogers120f1c72012-09-28 17:17:10 -070097 void* stack_addr = pthread_get_stackaddr_np(thread);
Elliott Hughese1884192012-04-23 12:38:15 -070098
99 // Check whether stack_addr is the base or end of the stack.
100 // (On Mac OS 10.7, it's the end.)
101 int stack_variable;
102 if (stack_addr > &stack_variable) {
Ian Rogers13735952014-10-08 12:43:28 -0700103 *stack_base = reinterpret_cast<uint8_t*>(stack_addr) - *stack_size;
Elliott Hughese1884192012-04-23 12:38:15 -0700104 } else {
Brian Carlstrom29212012013-09-12 22:18:30 -0700105 *stack_base = stack_addr;
Elliott Hughese1884192012-04-23 12:38:15 -0700106 }
Elliott Hughes6d3fc562014-08-27 11:47:01 -0700107
108 // This is wrong, but there doesn't seem to be a way to get the actual value on the Mac.
109 pthread_attr_t attributes;
110 CHECK_PTHREAD_CALL(pthread_attr_init, (&attributes), __FUNCTION__);
111 CHECK_PTHREAD_CALL(pthread_attr_getguardsize, (&attributes, guard_size), __FUNCTION__);
112 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attributes), __FUNCTION__);
Elliott Hughese1884192012-04-23 12:38:15 -0700113#else
114 pthread_attr_t attributes;
Ian Rogers120f1c72012-09-28 17:17:10 -0700115 CHECK_PTHREAD_CALL(pthread_getattr_np, (thread, &attributes), __FUNCTION__);
Brian Carlstrom29212012013-09-12 22:18:30 -0700116 CHECK_PTHREAD_CALL(pthread_attr_getstack, (&attributes, stack_base, stack_size), __FUNCTION__);
Elliott Hughes6d3fc562014-08-27 11:47:01 -0700117 CHECK_PTHREAD_CALL(pthread_attr_getguardsize, (&attributes, guard_size), __FUNCTION__);
Elliott Hughese1884192012-04-23 12:38:15 -0700118 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attributes), __FUNCTION__);
Elliott Hughes839cc302014-08-28 10:24:44 -0700119
120#if defined(__GLIBC__)
121 // If we're the main thread, check whether we were run with an unlimited stack. In that case,
122 // glibc will have reported a 2GB stack for our 32-bit process, and our stack overflow detection
123 // will be broken because we'll die long before we get close to 2GB.
124 bool is_main_thread = (::art::GetTid() == getpid());
125 if (is_main_thread) {
126 rlimit stack_limit;
127 if (getrlimit(RLIMIT_STACK, &stack_limit) == -1) {
128 PLOG(FATAL) << "getrlimit(RLIMIT_STACK) failed";
129 }
130 if (stack_limit.rlim_cur == RLIM_INFINITY) {
131 size_t old_stack_size = *stack_size;
132
133 // Use the kernel default limit as our size, and adjust the base to match.
134 *stack_size = 8 * MB;
135 *stack_base = reinterpret_cast<uint8_t*>(*stack_base) + (old_stack_size - *stack_size);
136
137 VLOG(threads) << "Limiting unlimited stack (reported as " << PrettySize(old_stack_size) << ")"
138 << " to " << PrettySize(*stack_size)
139 << " with base " << *stack_base;
140 }
141 }
142#endif
143
Elliott Hughese1884192012-04-23 12:38:15 -0700144#endif
145}
146
Elliott Hughesd92bec42011-09-02 17:04:36 -0700147bool ReadFileToString(const std::string& file_name, std::string* result) {
Andreas Gampedf878922015-08-13 16:44:54 -0700148 File file(file_name, O_RDONLY, false);
149 if (!file.IsOpened()) {
Elliott Hughesd92bec42011-09-02 17:04:36 -0700150 return false;
151 }
buzbeec143c552011-08-20 17:38:58 -0700152
Elliott Hughes3b6baaa2011-10-14 19:13:56 -0700153 std::vector<char> buf(8 * KB);
buzbeec143c552011-08-20 17:38:58 -0700154 while (true) {
Andreas Gampea6dfdae2015-02-24 15:50:19 -0800155 int64_t n = TEMP_FAILURE_RETRY(read(file.Fd(), &buf[0], buf.size()));
Elliott Hughesd92bec42011-09-02 17:04:36 -0700156 if (n == -1) {
157 return false;
buzbeec143c552011-08-20 17:38:58 -0700158 }
Elliott Hughesd92bec42011-09-02 17:04:36 -0700159 if (n == 0) {
160 return true;
161 }
Elliott Hughes3b6baaa2011-10-14 19:13:56 -0700162 result->append(&buf[0], n);
buzbeec143c552011-08-20 17:38:58 -0700163 }
buzbeec143c552011-08-20 17:38:58 -0700164}
165
Andreas Gampea6dfdae2015-02-24 15:50:19 -0800166bool PrintFileToLog(const std::string& file_name, LogSeverity level) {
Andreas Gampedf878922015-08-13 16:44:54 -0700167 File file(file_name, O_RDONLY, false);
168 if (!file.IsOpened()) {
Andreas Gampea6dfdae2015-02-24 15:50:19 -0800169 return false;
170 }
171
172 constexpr size_t kBufSize = 256; // Small buffer. Avoid stack overflow and stack size warnings.
173 char buf[kBufSize + 1]; // +1 for terminator.
174 size_t filled_to = 0;
175 while (true) {
176 DCHECK_LT(filled_to, kBufSize);
177 int64_t n = TEMP_FAILURE_RETRY(read(file.Fd(), &buf[filled_to], kBufSize - filled_to));
178 if (n <= 0) {
179 // Print the rest of the buffer, if it exists.
180 if (filled_to > 0) {
181 buf[filled_to] = 0;
182 LOG(level) << buf;
183 }
184 return n == 0;
185 }
186 // Scan for '\n'.
187 size_t i = filled_to;
188 bool found_newline = false;
189 for (; i < filled_to + n; ++i) {
190 if (buf[i] == '\n') {
191 // Found a line break, that's something to print now.
192 buf[i] = 0;
193 LOG(level) << buf;
194 // Copy the rest to the front.
195 if (i + 1 < filled_to + n) {
196 memmove(&buf[0], &buf[i + 1], filled_to + n - i - 1);
197 filled_to = filled_to + n - i - 1;
198 } else {
199 filled_to = 0;
200 }
201 found_newline = true;
202 break;
203 }
204 }
205 if (found_newline) {
206 continue;
207 } else {
208 filled_to += n;
209 // Check if we must flush now.
210 if (filled_to == kBufSize) {
211 buf[kBufSize] = 0;
212 LOG(level) << buf;
213 filled_to = 0;
214 }
215 }
216 }
217}
218
Ian Rogersef7d42f2014-01-06 12:55:46 -0800219std::string PrettyDescriptor(mirror::String* java_descriptor) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700220 if (java_descriptor == nullptr) {
Brian Carlstrome24fa612011-09-29 00:53:55 -0700221 return "null";
222 }
Ian Rogers1ff3c982014-08-12 02:30:58 -0700223 return PrettyDescriptor(java_descriptor->ToModifiedUtf8().c_str());
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700224}
Elliott Hughes5174fe62011-08-23 15:12:35 -0700225
Ian Rogersef7d42f2014-01-06 12:55:46 -0800226std::string PrettyDescriptor(mirror::Class* klass) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700227 if (klass == nullptr) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800228 return "null";
229 }
Ian Rogers1ff3c982014-08-12 02:30:58 -0700230 std::string temp;
231 return PrettyDescriptor(klass->GetDescriptor(&temp));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800232}
233
Ian Rogers1ff3c982014-08-12 02:30:58 -0700234std::string PrettyDescriptor(const char* descriptor) {
Elliott Hughes11e45072011-08-16 17:40:46 -0700235 // Count the number of '['s to get the dimensionality.
Ian Rogers1ff3c982014-08-12 02:30:58 -0700236 const char* c = descriptor;
Elliott Hughes11e45072011-08-16 17:40:46 -0700237 size_t dim = 0;
238 while (*c == '[') {
239 dim++;
240 c++;
241 }
242
243 // Reference or primitive?
244 if (*c == 'L') {
245 // "[[La/b/C;" -> "a.b.C[][]".
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700246 c++; // Skip the 'L'.
Elliott Hughes11e45072011-08-16 17:40:46 -0700247 } else {
248 // "[[B" -> "byte[][]".
249 // To make life easier, we make primitives look like unqualified
250 // reference types.
251 switch (*c) {
252 case 'B': c = "byte;"; break;
253 case 'C': c = "char;"; break;
254 case 'D': c = "double;"; break;
255 case 'F': c = "float;"; break;
256 case 'I': c = "int;"; break;
257 case 'J': c = "long;"; break;
258 case 'S': c = "short;"; break;
259 case 'Z': c = "boolean;"; break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700260 case 'V': c = "void;"; break; // Used when decoding return types.
Elliott Hughes5174fe62011-08-23 15:12:35 -0700261 default: return descriptor;
Elliott Hughes11e45072011-08-16 17:40:46 -0700262 }
263 }
264
265 // At this point, 'c' is a string of the form "fully/qualified/Type;"
266 // or "primitive;". Rewrite the type with '.' instead of '/':
267 std::string result;
268 const char* p = c;
269 while (*p != ';') {
270 char ch = *p++;
271 if (ch == '/') {
272 ch = '.';
273 }
274 result.push_back(ch);
275 }
276 // ...and replace the semicolon with 'dim' "[]" pairs:
Ian Rogers1ff3c982014-08-12 02:30:58 -0700277 for (size_t i = 0; i < dim; ++i) {
Elliott Hughes11e45072011-08-16 17:40:46 -0700278 result += "[]";
279 }
280 return result;
281}
282
Mathieu Chartierc7853442015-03-27 14:35:38 -0700283std::string PrettyField(ArtField* f, bool with_type) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700284 if (f == nullptr) {
Elliott Hughesa2501992011-08-26 19:39:54 -0700285 return "null";
286 }
Elliott Hughes54e7df12011-09-16 11:47:04 -0700287 std::string result;
288 if (with_type) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700289 result += PrettyDescriptor(f->GetTypeDescriptor());
Elliott Hughes54e7df12011-09-16 11:47:04 -0700290 result += ' ';
291 }
Ian Rogers08f1f502014-12-02 15:04:37 -0800292 std::string temp;
293 result += PrettyDescriptor(f->GetDeclaringClass()->GetDescriptor(&temp));
Elliott Hughesa2501992011-08-26 19:39:54 -0700294 result += '.';
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700295 result += f->GetName();
Elliott Hughesa2501992011-08-26 19:39:54 -0700296 return result;
297}
298
Brian Carlstrom6f29d0e2012-05-11 15:50:29 -0700299std::string PrettyField(uint32_t field_idx, const DexFile& dex_file, bool with_type) {
Elliott Hughes60641a72013-02-27 14:36:16 -0800300 if (field_idx >= dex_file.NumFieldIds()) {
301 return StringPrintf("<<invalid-field-idx-%d>>", field_idx);
302 }
Brian Carlstrom6f29d0e2012-05-11 15:50:29 -0700303 const DexFile::FieldId& field_id = dex_file.GetFieldId(field_idx);
304 std::string result;
305 if (with_type) {
306 result += dex_file.GetFieldTypeDescriptor(field_id);
307 result += ' ';
308 }
309 result += PrettyDescriptor(dex_file.GetFieldDeclaringClassDescriptor(field_id));
310 result += '.';
311 result += dex_file.GetFieldName(field_id);
312 return result;
313}
314
Mathieu Chartier18c24b62012-09-10 08:54:25 -0700315std::string PrettyType(uint32_t type_idx, const DexFile& dex_file) {
Elliott Hughes60641a72013-02-27 14:36:16 -0800316 if (type_idx >= dex_file.NumTypeIds()) {
317 return StringPrintf("<<invalid-type-idx-%d>>", type_idx);
318 }
Mathieu Chartier18c24b62012-09-10 08:54:25 -0700319 const DexFile::TypeId& type_id = dex_file.GetTypeId(type_idx);
Mathieu Chartier4c70d772012-09-10 14:08:32 -0700320 return PrettyDescriptor(dex_file.GetTypeDescriptor(type_id));
Mathieu Chartier18c24b62012-09-10 08:54:25 -0700321}
322
Elliott Hughes9058f2b2012-03-22 18:06:48 -0700323std::string PrettyArguments(const char* signature) {
324 std::string result;
325 result += '(';
326 CHECK_EQ(*signature, '(');
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700327 ++signature; // Skip the '('.
Elliott Hughes9058f2b2012-03-22 18:06:48 -0700328 while (*signature != ')') {
329 size_t argument_length = 0;
330 while (signature[argument_length] == '[') {
331 ++argument_length;
332 }
333 if (signature[argument_length] == 'L') {
334 argument_length = (strchr(signature, ';') - signature + 1);
335 } else {
336 ++argument_length;
337 }
Ian Rogers1ff3c982014-08-12 02:30:58 -0700338 {
339 std::string argument_descriptor(signature, argument_length);
340 result += PrettyDescriptor(argument_descriptor.c_str());
341 }
Elliott Hughes9058f2b2012-03-22 18:06:48 -0700342 if (signature[argument_length] != ')') {
343 result += ", ";
344 }
345 signature += argument_length;
346 }
347 CHECK_EQ(*signature, ')');
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700348 ++signature; // Skip the ')'.
Elliott Hughes9058f2b2012-03-22 18:06:48 -0700349 result += ')';
350 return result;
351}
352
353std::string PrettyReturnType(const char* signature) {
354 const char* return_type = strchr(signature, ')');
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700355 CHECK(return_type != nullptr);
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700356 ++return_type; // Skip ')'.
Elliott Hughes9058f2b2012-03-22 18:06:48 -0700357 return PrettyDescriptor(return_type);
358}
359
Mathieu Chartiere401d142015-04-22 13:56:20 -0700360std::string PrettyMethod(ArtMethod* m, bool with_signature) {
Ian Rogers16ce0922014-01-10 14:59:36 -0800361 if (m == nullptr) {
Elliott Hughesa0b8feb2011-08-20 09:50:55 -0700362 return "null";
363 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700364 if (!m->IsRuntimeMethod()) {
365 m = m->GetInterfaceMethodIfProxy(Runtime::Current()->GetClassLinker()->GetImagePointerSize());
366 }
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700367 std::string result(PrettyDescriptor(m->GetDeclaringClassDescriptor()));
Elliott Hughesa0b8feb2011-08-20 09:50:55 -0700368 result += '.';
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700369 result += m->GetName();
Ian Rogers16ce0922014-01-10 14:59:36 -0800370 if (UNLIKELY(m->IsFastNative())) {
371 result += "!";
372 }
Elliott Hughesa0b8feb2011-08-20 09:50:55 -0700373 if (with_signature) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700374 const Signature signature = m->GetSignature();
Ian Rogersd91d6d62013-09-25 20:26:14 -0700375 std::string sig_as_string(signature.ToString());
376 if (signature == Signature::NoSignature()) {
377 return result + sig_as_string;
Elliott Hughesf8c11932012-03-23 19:53:59 -0700378 }
Ian Rogersd91d6d62013-09-25 20:26:14 -0700379 result = PrettyReturnType(sig_as_string.c_str()) + " " + result +
380 PrettyArguments(sig_as_string.c_str());
Elliott Hughesa0b8feb2011-08-20 09:50:55 -0700381 }
382 return result;
383}
384
Ian Rogers0571d352011-11-03 19:51:38 -0700385std::string PrettyMethod(uint32_t method_idx, const DexFile& dex_file, bool with_signature) {
Elliott Hughes60641a72013-02-27 14:36:16 -0800386 if (method_idx >= dex_file.NumMethodIds()) {
387 return StringPrintf("<<invalid-method-idx-%d>>", method_idx);
388 }
Ian Rogers0571d352011-11-03 19:51:38 -0700389 const DexFile::MethodId& method_id = dex_file.GetMethodId(method_idx);
390 std::string result(PrettyDescriptor(dex_file.GetMethodDeclaringClassDescriptor(method_id)));
391 result += '.';
392 result += dex_file.GetMethodName(method_id);
393 if (with_signature) {
Ian Rogersd91d6d62013-09-25 20:26:14 -0700394 const Signature signature = dex_file.GetMethodSignature(method_id);
395 std::string sig_as_string(signature.ToString());
396 if (signature == Signature::NoSignature()) {
397 return result + sig_as_string;
Elliott Hughesf8c11932012-03-23 19:53:59 -0700398 }
Ian Rogersd91d6d62013-09-25 20:26:14 -0700399 result = PrettyReturnType(sig_as_string.c_str()) + " " + result +
400 PrettyArguments(sig_as_string.c_str());
Ian Rogers0571d352011-11-03 19:51:38 -0700401 }
402 return result;
403}
404
Ian Rogersef7d42f2014-01-06 12:55:46 -0800405std::string PrettyTypeOf(mirror::Object* obj) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700406 if (obj == nullptr) {
Elliott Hughes11e45072011-08-16 17:40:46 -0700407 return "null";
408 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700409 if (obj->GetClass() == nullptr) {
Elliott Hughes11e45072011-08-16 17:40:46 -0700410 return "(raw)";
411 }
Ian Rogers1ff3c982014-08-12 02:30:58 -0700412 std::string temp;
413 std::string result(PrettyDescriptor(obj->GetClass()->GetDescriptor(&temp)));
Elliott Hughes11e45072011-08-16 17:40:46 -0700414 if (obj->IsClass()) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700415 result += "<" + PrettyDescriptor(obj->AsClass()->GetDescriptor(&temp)) + ">";
Elliott Hughes11e45072011-08-16 17:40:46 -0700416 }
417 return result;
418}
419
Ian Rogersef7d42f2014-01-06 12:55:46 -0800420std::string PrettyClass(mirror::Class* c) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700421 if (c == nullptr) {
Elliott Hughes54e7df12011-09-16 11:47:04 -0700422 return "null";
423 }
424 std::string result;
425 result += "java.lang.Class<";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800426 result += PrettyDescriptor(c);
Elliott Hughes54e7df12011-09-16 11:47:04 -0700427 result += ">";
428 return result;
429}
430
Ian Rogersef7d42f2014-01-06 12:55:46 -0800431std::string PrettyClassAndClassLoader(mirror::Class* c) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700432 if (c == nullptr) {
Ian Rogersd81871c2011-10-03 13:57:23 -0700433 return "null";
434 }
435 std::string result;
436 result += "java.lang.Class<";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800437 result += PrettyDescriptor(c);
Ian Rogersd81871c2011-10-03 13:57:23 -0700438 result += ",";
439 result += PrettyTypeOf(c->GetClassLoader());
440 // TODO: add an identifying hash value for the loader
441 result += ">";
442 return result;
443}
444
Andreas Gampec0d82292014-09-23 10:38:30 -0700445std::string PrettyJavaAccessFlags(uint32_t access_flags) {
446 std::string result;
447 if ((access_flags & kAccPublic) != 0) {
448 result += "public ";
449 }
450 if ((access_flags & kAccProtected) != 0) {
451 result += "protected ";
452 }
453 if ((access_flags & kAccPrivate) != 0) {
454 result += "private ";
455 }
456 if ((access_flags & kAccFinal) != 0) {
457 result += "final ";
458 }
459 if ((access_flags & kAccStatic) != 0) {
460 result += "static ";
461 }
462 if ((access_flags & kAccTransient) != 0) {
463 result += "transient ";
464 }
465 if ((access_flags & kAccVolatile) != 0) {
466 result += "volatile ";
467 }
468 if ((access_flags & kAccSynchronized) != 0) {
469 result += "synchronized ";
470 }
471 return result;
472}
473
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800474std::string PrettySize(int64_t byte_count) {
Elliott Hughesc967f782012-04-16 10:23:15 -0700475 // The byte thresholds at which we display amounts. A byte count is displayed
476 // in unit U when kUnitThresholds[U] <= bytes < kUnitThresholds[U+1].
Ian Rogersef7d42f2014-01-06 12:55:46 -0800477 static const int64_t kUnitThresholds[] = {
Elliott Hughesc967f782012-04-16 10:23:15 -0700478 0, // B up to...
479 3*1024, // KB up to...
480 2*1024*1024, // MB up to...
481 1024*1024*1024 // GB from here.
482 };
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800483 static const int64_t kBytesPerUnit[] = { 1, KB, MB, GB };
Elliott Hughesc967f782012-04-16 10:23:15 -0700484 static const char* const kUnitStrings[] = { "B", "KB", "MB", "GB" };
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800485 const char* negative_str = "";
486 if (byte_count < 0) {
487 negative_str = "-";
488 byte_count = -byte_count;
489 }
Elliott Hughesc967f782012-04-16 10:23:15 -0700490 int i = arraysize(kUnitThresholds);
491 while (--i > 0) {
492 if (byte_count >= kUnitThresholds[i]) {
493 break;
494 }
Ian Rogers3bb17a62012-01-27 23:56:44 -0800495 }
Brian Carlstrom474cc792014-03-07 14:18:15 -0800496 return StringPrintf("%s%" PRId64 "%s",
497 negative_str, byte_count / kBytesPerUnit[i], kUnitStrings[i]);
Ian Rogers3bb17a62012-01-27 23:56:44 -0800498}
499
Ian Rogers576ca0c2014-06-06 15:58:22 -0700500std::string PrintableChar(uint16_t ch) {
501 std::string result;
502 result += '\'';
503 if (NeedsEscaping(ch)) {
504 StringAppendF(&result, "\\u%04x", ch);
505 } else {
506 result += ch;
507 }
508 result += '\'';
509 return result;
510}
511
Ian Rogers68b56852014-08-29 20:19:11 -0700512std::string PrintableString(const char* utf) {
Elliott Hughes82914b62012-04-09 15:56:29 -0700513 std::string result;
514 result += '"';
Ian Rogers68b56852014-08-29 20:19:11 -0700515 const char* p = utf;
Elliott Hughes82914b62012-04-09 15:56:29 -0700516 size_t char_count = CountModifiedUtf8Chars(p);
517 for (size_t i = 0; i < char_count; ++i) {
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000518 uint32_t ch = GetUtf16FromUtf8(&p);
Elliott Hughes82914b62012-04-09 15:56:29 -0700519 if (ch == '\\') {
520 result += "\\\\";
521 } else if (ch == '\n') {
522 result += "\\n";
523 } else if (ch == '\r') {
524 result += "\\r";
525 } else if (ch == '\t') {
526 result += "\\t";
Elliott Hughes82914b62012-04-09 15:56:29 -0700527 } else {
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000528 const uint16_t leading = GetLeadingUtf16Char(ch);
529
530 if (NeedsEscaping(leading)) {
531 StringAppendF(&result, "\\u%04x", leading);
532 } else {
533 result += leading;
534 }
535
536 const uint32_t trailing = GetTrailingUtf16Char(ch);
537 if (trailing != 0) {
538 // All high surrogates will need escaping.
539 StringAppendF(&result, "\\u%04x", trailing);
540 }
Elliott Hughes82914b62012-04-09 15:56:29 -0700541 }
542 }
543 result += '"';
544 return result;
545}
546
Elliott Hughesd8c00d02012-01-30 14:08:31 -0800547// See http://java.sun.com/j2se/1.5.0/docs/guide/jni/spec/design.html#wp615 for the full rules.
Elliott Hughes79082e32011-08-25 12:07:32 -0700548std::string MangleForJni(const std::string& s) {
549 std::string result;
550 size_t char_count = CountModifiedUtf8Chars(s.c_str());
551 const char* cp = &s[0];
552 for (size_t i = 0; i < char_count; ++i) {
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000553 uint32_t ch = GetUtf16FromUtf8(&cp);
Elliott Hughesd8c00d02012-01-30 14:08:31 -0800554 if ((ch >= 'A' && ch <= 'Z') || (ch >= 'a' && ch <= 'z') || (ch >= '0' && ch <= '9')) {
555 result.push_back(ch);
556 } else if (ch == '.' || ch == '/') {
557 result += "_";
558 } else if (ch == '_') {
559 result += "_1";
560 } else if (ch == ';') {
561 result += "_2";
562 } else if (ch == '[') {
563 result += "_3";
Elliott Hughes79082e32011-08-25 12:07:32 -0700564 } else {
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000565 const uint16_t leading = GetLeadingUtf16Char(ch);
566 const uint32_t trailing = GetTrailingUtf16Char(ch);
567
568 StringAppendF(&result, "_0%04x", leading);
569 if (trailing != 0) {
570 StringAppendF(&result, "_0%04x", trailing);
571 }
Elliott Hughes79082e32011-08-25 12:07:32 -0700572 }
573 }
574 return result;
575}
576
Brian Carlstromf91c8c32011-09-21 17:30:34 -0700577std::string DotToDescriptor(const char* class_name) {
578 std::string descriptor(class_name);
579 std::replace(descriptor.begin(), descriptor.end(), '.', '/');
580 if (descriptor.length() > 0 && descriptor[0] != '[') {
581 descriptor = "L" + descriptor + ";";
582 }
583 return descriptor;
584}
585
Elliott Hughesf1a5adc2012-02-10 18:09:35 -0800586std::string DescriptorToDot(const char* descriptor) {
Elliott Hughes2435a572012-02-17 16:07:41 -0800587 size_t length = strlen(descriptor);
Ian Rogers1ff3c982014-08-12 02:30:58 -0700588 if (length > 1) {
589 if (descriptor[0] == 'L' && descriptor[length - 1] == ';') {
590 // Descriptors have the leading 'L' and trailing ';' stripped.
591 std::string result(descriptor + 1, length - 2);
592 std::replace(result.begin(), result.end(), '/', '.');
593 return result;
594 } else {
595 // For arrays the 'L' and ';' remain intact.
596 std::string result(descriptor);
597 std::replace(result.begin(), result.end(), '/', '.');
598 return result;
599 }
Elliott Hughes2435a572012-02-17 16:07:41 -0800600 }
Ian Rogers1ff3c982014-08-12 02:30:58 -0700601 // Do nothing for non-class/array descriptors.
Elliott Hughes2435a572012-02-17 16:07:41 -0800602 return descriptor;
Elliott Hughes91bf6cd2012-02-14 17:27:48 -0800603}
604
605std::string DescriptorToName(const char* descriptor) {
Elliott Hughesf1a5adc2012-02-10 18:09:35 -0800606 size_t length = strlen(descriptor);
Elliott Hughes2435a572012-02-17 16:07:41 -0800607 if (descriptor[0] == 'L' && descriptor[length - 1] == ';') {
608 std::string result(descriptor + 1, length - 2);
609 return result;
610 }
611 return descriptor;
Brian Carlstromaded5f72011-10-07 17:15:04 -0700612}
613
Mathieu Chartiere401d142015-04-22 13:56:20 -0700614std::string JniShortName(ArtMethod* m) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700615 std::string class_name(m->GetDeclaringClassDescriptor());
Elliott Hughes79082e32011-08-25 12:07:32 -0700616 // Remove the leading 'L' and trailing ';'...
Elliott Hughesf5a7a472011-10-07 14:31:02 -0700617 CHECK_EQ(class_name[0], 'L') << class_name;
618 CHECK_EQ(class_name[class_name.size() - 1], ';') << class_name;
Elliott Hughes79082e32011-08-25 12:07:32 -0700619 class_name.erase(0, 1);
620 class_name.erase(class_name.size() - 1, 1);
621
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700622 std::string method_name(m->GetName());
Elliott Hughes79082e32011-08-25 12:07:32 -0700623
624 std::string short_name;
625 short_name += "Java_";
626 short_name += MangleForJni(class_name);
627 short_name += "_";
628 short_name += MangleForJni(method_name);
629 return short_name;
630}
631
Mathieu Chartiere401d142015-04-22 13:56:20 -0700632std::string JniLongName(ArtMethod* m) {
Elliott Hughes79082e32011-08-25 12:07:32 -0700633 std::string long_name;
634 long_name += JniShortName(m);
635 long_name += "__";
636
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700637 std::string signature(m->GetSignature().ToString());
Elliott Hughes79082e32011-08-25 12:07:32 -0700638 signature.erase(0, 1);
639 signature.erase(signature.begin() + signature.find(')'), signature.end());
640
641 long_name += MangleForJni(signature);
642
643 return long_name;
644}
645
jeffhao10037c82012-01-23 15:06:23 -0800646// Helper for IsValidPartOfMemberNameUtf8(), a bit vector indicating valid low ascii.
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700647uint32_t DEX_MEMBER_VALID_LOW_ASCII[4] = {
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700648 0x00000000, // 00..1f low control characters; nothing valid
649 0x03ff2010, // 20..3f digits and symbols; valid: '0'..'9', '$', '-'
650 0x87fffffe, // 40..5f uppercase etc.; valid: 'A'..'Z', '_'
651 0x07fffffe // 60..7f lowercase etc.; valid: 'a'..'z'
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700652};
653
jeffhao10037c82012-01-23 15:06:23 -0800654// Helper for IsValidPartOfMemberNameUtf8(); do not call directly.
655bool IsValidPartOfMemberNameUtf8Slow(const char** pUtf8Ptr) {
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700656 /*
657 * It's a multibyte encoded character. Decode it and analyze. We
658 * accept anything that isn't (a) an improperly encoded low value,
659 * (b) an improper surrogate pair, (c) an encoded '\0', (d) a high
660 * control character, or (e) a high space, layout, or special
661 * character (U+00a0, U+2000..U+200f, U+2028..U+202f,
662 * U+fff0..U+ffff). This is all specified in the dex format
663 * document.
664 */
665
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000666 const uint32_t pair = GetUtf16FromUtf8(pUtf8Ptr);
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000667 const uint16_t leading = GetLeadingUtf16Char(pair);
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000668
Narayan Kamath8508e372015-05-06 14:55:43 +0100669 // We have a surrogate pair resulting from a valid 4 byte UTF sequence.
670 // No further checks are necessary because 4 byte sequences span code
671 // points [U+10000, U+1FFFFF], which are valid codepoints in a dex
672 // identifier. Furthermore, GetUtf16FromUtf8 guarantees that each of
673 // the surrogate halves are valid and well formed in this instance.
674 if (GetTrailingUtf16Char(pair) != 0) {
675 return true;
676 }
677
678
679 // We've encountered a one, two or three byte UTF-8 sequence. The
680 // three byte UTF-8 sequence could be one half of a surrogate pair.
681 switch (leading >> 8) {
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000682 case 0x00:
683 // It's only valid if it's above the ISO-8859-1 high space (0xa0).
684 return (leading > 0x00a0);
685 case 0xd8:
686 case 0xd9:
687 case 0xda:
688 case 0xdb:
Narayan Kamath8508e372015-05-06 14:55:43 +0100689 {
690 // We found a three byte sequence encoding one half of a surrogate.
691 // Look for the other half.
692 const uint32_t pair2 = GetUtf16FromUtf8(pUtf8Ptr);
693 const uint16_t trailing = GetLeadingUtf16Char(pair2);
694
695 return (GetTrailingUtf16Char(pair2) == 0) && (0xdc00 <= trailing && trailing <= 0xdfff);
696 }
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000697 case 0xdc:
698 case 0xdd:
699 case 0xde:
700 case 0xdf:
701 // It's a trailing surrogate, which is not valid at this point.
702 return false;
703 case 0x20:
704 case 0xff:
705 // It's in the range that has spaces, controls, and specials.
706 switch (leading & 0xfff8) {
Narayan Kamath8508e372015-05-06 14:55:43 +0100707 case 0x2000:
708 case 0x2008:
709 case 0x2028:
710 case 0xfff0:
711 case 0xfff8:
712 return false;
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000713 }
Narayan Kamath8508e372015-05-06 14:55:43 +0100714 return true;
715 default:
716 return true;
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700717 }
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000718
Narayan Kamath8508e372015-05-06 14:55:43 +0100719 UNREACHABLE();
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700720}
721
722/* Return whether the pointed-at modified-UTF-8 encoded character is
723 * valid as part of a member name, updating the pointer to point past
724 * the consumed character. This will consume two encoded UTF-16 code
725 * points if the character is encoded as a surrogate pair. Also, if
726 * this function returns false, then the given pointer may only have
727 * been partially advanced.
728 */
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700729static bool IsValidPartOfMemberNameUtf8(const char** pUtf8Ptr) {
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700730 uint8_t c = (uint8_t) **pUtf8Ptr;
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700731 if (LIKELY(c <= 0x7f)) {
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700732 // It's low-ascii, so check the table.
733 uint32_t wordIdx = c >> 5;
734 uint32_t bitIdx = c & 0x1f;
735 (*pUtf8Ptr)++;
736 return (DEX_MEMBER_VALID_LOW_ASCII[wordIdx] & (1 << bitIdx)) != 0;
737 }
738
739 // It's a multibyte encoded character. Call a non-inline function
740 // for the heavy lifting.
jeffhao10037c82012-01-23 15:06:23 -0800741 return IsValidPartOfMemberNameUtf8Slow(pUtf8Ptr);
742}
743
744bool IsValidMemberName(const char* s) {
745 bool angle_name = false;
746
Elliott Hughesb25c3f62012-03-26 16:35:06 -0700747 switch (*s) {
jeffhao10037c82012-01-23 15:06:23 -0800748 case '\0':
749 // The empty string is not a valid name.
750 return false;
751 case '<':
752 angle_name = true;
753 s++;
754 break;
755 }
756
757 while (true) {
758 switch (*s) {
759 case '\0':
760 return !angle_name;
761 case '>':
762 return angle_name && s[1] == '\0';
763 }
764
765 if (!IsValidPartOfMemberNameUtf8(&s)) {
766 return false;
767 }
768 }
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700769}
770
Elliott Hughes906e6852011-10-28 14:52:10 -0700771enum ClassNameType { kName, kDescriptor };
Ian Rogers7b078e82014-09-10 14:44:24 -0700772template<ClassNameType kType, char kSeparator>
773static bool IsValidClassName(const char* s) {
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700774 int arrayCount = 0;
775 while (*s == '[') {
776 arrayCount++;
777 s++;
778 }
779
780 if (arrayCount > 255) {
781 // Arrays may have no more than 255 dimensions.
782 return false;
783 }
784
Ian Rogers7b078e82014-09-10 14:44:24 -0700785 ClassNameType type = kType;
786 if (type != kDescriptor && arrayCount != 0) {
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700787 /*
788 * If we're looking at an array of some sort, then it doesn't
789 * matter if what is being asked for is a class name; the
790 * format looks the same as a type descriptor in that case, so
791 * treat it as such.
792 */
Elliott Hughes906e6852011-10-28 14:52:10 -0700793 type = kDescriptor;
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700794 }
795
Elliott Hughes906e6852011-10-28 14:52:10 -0700796 if (type == kDescriptor) {
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700797 /*
798 * We are looking for a descriptor. Either validate it as a
799 * single-character primitive type, or continue on to check the
800 * embedded class name (bracketed by "L" and ";").
801 */
802 switch (*(s++)) {
803 case 'B':
804 case 'C':
805 case 'D':
806 case 'F':
807 case 'I':
808 case 'J':
809 case 'S':
810 case 'Z':
811 // These are all single-character descriptors for primitive types.
812 return (*s == '\0');
813 case 'V':
814 // Non-array void is valid, but you can't have an array of void.
815 return (arrayCount == 0) && (*s == '\0');
816 case 'L':
817 // Class name: Break out and continue below.
818 break;
819 default:
820 // Oddball descriptor character.
821 return false;
822 }
823 }
824
825 /*
826 * We just consumed the 'L' that introduces a class name as part
827 * of a type descriptor, or we are looking for an unadorned class
828 * name.
829 */
830
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700831 bool sepOrFirst = true; // first character or just encountered a separator.
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700832 for (;;) {
833 uint8_t c = (uint8_t) *s;
834 switch (c) {
835 case '\0':
836 /*
837 * Premature end for a type descriptor, but valid for
838 * a class name as long as we haven't encountered an
839 * empty component (including the degenerate case of
840 * the empty string "").
841 */
Elliott Hughes906e6852011-10-28 14:52:10 -0700842 return (type == kName) && !sepOrFirst;
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700843 case ';':
844 /*
845 * Invalid character for a class name, but the
846 * legitimate end of a type descriptor. In the latter
847 * case, make sure that this is the end of the string
848 * and that it doesn't end with an empty component
849 * (including the degenerate case of "L;").
850 */
Elliott Hughes906e6852011-10-28 14:52:10 -0700851 return (type == kDescriptor) && !sepOrFirst && (s[1] == '\0');
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700852 case '/':
853 case '.':
Ian Rogers7b078e82014-09-10 14:44:24 -0700854 if (c != kSeparator) {
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700855 // The wrong separator character.
856 return false;
857 }
858 if (sepOrFirst) {
859 // Separator at start or two separators in a row.
860 return false;
861 }
862 sepOrFirst = true;
863 s++;
864 break;
865 default:
jeffhao10037c82012-01-23 15:06:23 -0800866 if (!IsValidPartOfMemberNameUtf8(&s)) {
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700867 return false;
868 }
869 sepOrFirst = false;
870 break;
871 }
872 }
873}
874
Elliott Hughes906e6852011-10-28 14:52:10 -0700875bool IsValidBinaryClassName(const char* s) {
Ian Rogers7b078e82014-09-10 14:44:24 -0700876 return IsValidClassName<kName, '.'>(s);
Elliott Hughes906e6852011-10-28 14:52:10 -0700877}
878
879bool IsValidJniClassName(const char* s) {
Ian Rogers7b078e82014-09-10 14:44:24 -0700880 return IsValidClassName<kName, '/'>(s);
Elliott Hughes906e6852011-10-28 14:52:10 -0700881}
882
883bool IsValidDescriptor(const char* s) {
Ian Rogers7b078e82014-09-10 14:44:24 -0700884 return IsValidClassName<kDescriptor, '/'>(s);
Elliott Hughes906e6852011-10-28 14:52:10 -0700885}
886
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700887void Split(const std::string& s, char separator, std::vector<std::string>* result) {
Elliott Hughes34023802011-08-30 12:06:17 -0700888 const char* p = s.data();
889 const char* end = p + s.size();
890 while (p != end) {
Elliott Hughes48436bb2012-02-07 15:23:28 -0800891 if (*p == separator) {
Elliott Hughes34023802011-08-30 12:06:17 -0700892 ++p;
893 } else {
894 const char* start = p;
Elliott Hughes48436bb2012-02-07 15:23:28 -0800895 while (++p != end && *p != separator) {
896 // Skip to the next occurrence of the separator.
Elliott Hughes34023802011-08-30 12:06:17 -0700897 }
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700898 result->push_back(std::string(start, p - start));
Elliott Hughes34023802011-08-30 12:06:17 -0700899 }
900 }
901}
902
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700903std::string Trim(const std::string& s) {
Dave Allison70202782013-10-22 17:52:19 -0700904 std::string result;
905 unsigned int start_index = 0;
906 unsigned int end_index = s.size() - 1;
907
908 // Skip initial whitespace.
909 while (start_index < s.size()) {
910 if (!isspace(s[start_index])) {
911 break;
912 }
913 start_index++;
914 }
915
916 // Skip terminating whitespace.
917 while (end_index >= start_index) {
918 if (!isspace(s[end_index])) {
919 break;
920 }
921 end_index--;
922 }
923
924 // All spaces, no beef.
925 if (end_index < start_index) {
926 return "";
927 }
928 // Start_index is the first non-space, end_index is the last one.
929 return s.substr(start_index, end_index - start_index + 1);
930}
931
Elliott Hughes48436bb2012-02-07 15:23:28 -0800932template <typename StringT>
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700933std::string Join(const std::vector<StringT>& strings, char separator) {
Elliott Hughes48436bb2012-02-07 15:23:28 -0800934 if (strings.empty()) {
935 return "";
936 }
937
938 std::string result(strings[0]);
939 for (size_t i = 1; i < strings.size(); ++i) {
940 result += separator;
941 result += strings[i];
942 }
943 return result;
944}
945
946// Explicit instantiations.
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700947template std::string Join<std::string>(const std::vector<std::string>& strings, char separator);
948template std::string Join<const char*>(const std::vector<const char*>& strings, char separator);
Elliott Hughes48436bb2012-02-07 15:23:28 -0800949
Elliott Hughesf1a5adc2012-02-10 18:09:35 -0800950bool StartsWith(const std::string& s, const char* prefix) {
951 return s.compare(0, strlen(prefix), prefix) == 0;
952}
953
Brian Carlstrom7a967b32012-03-28 15:23:10 -0700954bool EndsWith(const std::string& s, const char* suffix) {
955 size_t suffix_length = strlen(suffix);
956 size_t string_length = s.size();
957 if (suffix_length > string_length) {
958 return false;
959 }
960 size_t offset = string_length - suffix_length;
961 return s.compare(offset, suffix_length, suffix) == 0;
962}
963
Elliott Hughes22869a92012-03-27 14:08:24 -0700964void SetThreadName(const char* thread_name) {
Elliott Hughesdcc24742011-09-07 14:02:44 -0700965 int hasAt = 0;
966 int hasDot = 0;
Elliott Hughes22869a92012-03-27 14:08:24 -0700967 const char* s = thread_name;
Elliott Hughesdcc24742011-09-07 14:02:44 -0700968 while (*s) {
969 if (*s == '.') {
970 hasDot = 1;
971 } else if (*s == '@') {
972 hasAt = 1;
973 }
974 s++;
975 }
Elliott Hughes22869a92012-03-27 14:08:24 -0700976 int len = s - thread_name;
Elliott Hughesdcc24742011-09-07 14:02:44 -0700977 if (len < 15 || hasAt || !hasDot) {
Elliott Hughes22869a92012-03-27 14:08:24 -0700978 s = thread_name;
Elliott Hughesdcc24742011-09-07 14:02:44 -0700979 } else {
Elliott Hughes22869a92012-03-27 14:08:24 -0700980 s = thread_name + len - 15;
Elliott Hughesdcc24742011-09-07 14:02:44 -0700981 }
Elliott Hughes0a18df82015-01-09 15:16:16 -0800982#if defined(__linux__)
Elliott Hughes7c6a61e2012-03-12 18:01:41 -0700983 // pthread_setname_np fails rather than truncating long strings.
Elliott Hughes0a18df82015-01-09 15:16:16 -0800984 char buf[16]; // MAX_TASK_COMM_LEN=16 is hard-coded in the kernel.
Elliott Hughesdcc24742011-09-07 14:02:44 -0700985 strncpy(buf, s, sizeof(buf)-1);
986 buf[sizeof(buf)-1] = '\0';
987 errno = pthread_setname_np(pthread_self(), buf);
988 if (errno != 0) {
989 PLOG(WARNING) << "Unable to set the name of current thread to '" << buf << "'";
990 }
Elliott Hughes0a18df82015-01-09 15:16:16 -0800991#else // __APPLE__
Elliott Hughes22869a92012-03-27 14:08:24 -0700992 pthread_setname_np(thread_name);
Elliott Hughesdcc24742011-09-07 14:02:44 -0700993#endif
994}
995
Brian Carlstrom29212012013-09-12 22:18:30 -0700996void GetTaskStats(pid_t tid, char* state, int* utime, int* stime, int* task_cpu) {
997 *utime = *stime = *task_cpu = 0;
Elliott Hughesbfe487b2011-10-26 15:48:55 -0700998 std::string stats;
Elliott Hughes8a31b502012-04-30 19:36:11 -0700999 if (!ReadFileToString(StringPrintf("/proc/self/task/%d/stat", tid), &stats)) {
Elliott Hughesbfe487b2011-10-26 15:48:55 -07001000 return;
1001 }
1002 // Skip the command, which may contain spaces.
1003 stats = stats.substr(stats.find(')') + 2);
1004 // Extract the three fields we care about.
1005 std::vector<std::string> fields;
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001006 Split(stats, ' ', &fields);
Brian Carlstrom29212012013-09-12 22:18:30 -07001007 *state = fields[0][0];
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001008 *utime = strtoull(fields[11].c_str(), nullptr, 10);
1009 *stime = strtoull(fields[12].c_str(), nullptr, 10);
1010 *task_cpu = strtoull(fields[36].c_str(), nullptr, 10);
Elliott Hughesbfe487b2011-10-26 15:48:55 -07001011}
1012
Elliott Hughes1bac54f2012-03-16 12:48:31 -07001013std::string GetSchedulerGroupName(pid_t tid) {
1014 // /proc/<pid>/cgroup looks like this:
1015 // 2:devices:/
1016 // 1:cpuacct,cpu:/
1017 // We want the third field from the line whose second field contains the "cpu" token.
1018 std::string cgroup_file;
1019 if (!ReadFileToString(StringPrintf("/proc/self/task/%d/cgroup", tid), &cgroup_file)) {
1020 return "";
1021 }
1022 std::vector<std::string> cgroup_lines;
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001023 Split(cgroup_file, '\n', &cgroup_lines);
Elliott Hughes1bac54f2012-03-16 12:48:31 -07001024 for (size_t i = 0; i < cgroup_lines.size(); ++i) {
1025 std::vector<std::string> cgroup_fields;
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001026 Split(cgroup_lines[i], ':', &cgroup_fields);
Elliott Hughes1bac54f2012-03-16 12:48:31 -07001027 std::vector<std::string> cgroups;
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001028 Split(cgroup_fields[1], ',', &cgroups);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001029 for (size_t j = 0; j < cgroups.size(); ++j) {
1030 if (cgroups[j] == "cpu") {
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001031 return cgroup_fields[2].substr(1); // Skip the leading slash.
Elliott Hughes1bac54f2012-03-16 12:48:31 -07001032 }
1033 }
1034 }
1035 return "";
1036}
1037
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001038const char* GetAndroidRoot() {
1039 const char* android_root = getenv("ANDROID_ROOT");
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001040 if (android_root == nullptr) {
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001041 if (OS::DirectoryExists("/system")) {
1042 android_root = "/system";
Brian Carlstroma9f19782011-10-13 00:14:47 -07001043 } else {
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001044 LOG(FATAL) << "ANDROID_ROOT not set and /system does not exist";
1045 return "";
Brian Carlstroma9f19782011-10-13 00:14:47 -07001046 }
1047 }
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001048 if (!OS::DirectoryExists(android_root)) {
1049 LOG(FATAL) << "Failed to find ANDROID_ROOT directory " << android_root;
Brian Carlstroma9f19782011-10-13 00:14:47 -07001050 return "";
1051 }
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001052 return android_root;
1053}
Brian Carlstroma9f19782011-10-13 00:14:47 -07001054
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001055const char* GetAndroidData() {
Alex Lighta59dd802014-07-02 16:28:08 -07001056 std::string error_msg;
1057 const char* dir = GetAndroidDataSafe(&error_msg);
1058 if (dir != nullptr) {
1059 return dir;
1060 } else {
1061 LOG(FATAL) << error_msg;
1062 return "";
1063 }
1064}
1065
1066const char* GetAndroidDataSafe(std::string* error_msg) {
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001067 const char* android_data = getenv("ANDROID_DATA");
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001068 if (android_data == nullptr) {
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001069 if (OS::DirectoryExists("/data")) {
1070 android_data = "/data";
1071 } else {
Alex Lighta59dd802014-07-02 16:28:08 -07001072 *error_msg = "ANDROID_DATA not set and /data does not exist";
1073 return nullptr;
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001074 }
1075 }
1076 if (!OS::DirectoryExists(android_data)) {
Alex Lighta59dd802014-07-02 16:28:08 -07001077 *error_msg = StringPrintf("Failed to find ANDROID_DATA directory %s", android_data);
1078 return nullptr;
Brian Carlstroma56fcd62012-02-04 21:23:01 -08001079 }
1080 return android_data;
1081}
1082
Alex Lighta59dd802014-07-02 16:28:08 -07001083void GetDalvikCache(const char* subdir, const bool create_if_absent, std::string* dalvik_cache,
Andreas Gampe3c13a792014-09-18 20:56:04 -07001084 bool* have_android_data, bool* dalvik_cache_exists, bool* is_global_cache) {
Alex Lighta59dd802014-07-02 16:28:08 -07001085 CHECK(subdir != nullptr);
1086 std::string error_msg;
1087 const char* android_data = GetAndroidDataSafe(&error_msg);
1088 if (android_data == nullptr) {
1089 *have_android_data = false;
1090 *dalvik_cache_exists = false;
Andreas Gampe3c13a792014-09-18 20:56:04 -07001091 *is_global_cache = false;
Alex Lighta59dd802014-07-02 16:28:08 -07001092 return;
1093 } else {
1094 *have_android_data = true;
1095 }
1096 const std::string dalvik_cache_root(StringPrintf("%s/dalvik-cache/", android_data));
1097 *dalvik_cache = dalvik_cache_root + subdir;
1098 *dalvik_cache_exists = OS::DirectoryExists(dalvik_cache->c_str());
Andreas Gampe3c13a792014-09-18 20:56:04 -07001099 *is_global_cache = strcmp(android_data, "/data") == 0;
1100 if (create_if_absent && !*dalvik_cache_exists && !*is_global_cache) {
Alex Lighta59dd802014-07-02 16:28:08 -07001101 // Don't create the system's /data/dalvik-cache/... because it needs special permissions.
1102 *dalvik_cache_exists = ((mkdir(dalvik_cache_root.c_str(), 0700) == 0 || errno == EEXIST) &&
1103 (mkdir(dalvik_cache->c_str(), 0700) == 0 || errno == EEXIST));
1104 }
1105}
1106
Richard Uhler55b58b62016-08-12 09:05:13 -07001107std::string GetDalvikCache(const char* subdir) {
Narayan Kamath11d9f062014-04-23 20:24:57 +01001108 CHECK(subdir != nullptr);
Brian Carlstrom41ccffd2014-05-06 10:37:30 -07001109 const char* android_data = GetAndroidData();
1110 const std::string dalvik_cache_root(StringPrintf("%s/dalvik-cache/", android_data));
Narayan Kamath11d9f062014-04-23 20:24:57 +01001111 const std::string dalvik_cache = dalvik_cache_root + subdir;
Andreas Gampe40da2862015-02-27 12:49:04 -08001112 if (!OS::DirectoryExists(dalvik_cache.c_str())) {
Richard Uhler55b58b62016-08-12 09:05:13 -07001113 // TODO: Check callers. Traditional behavior is to not abort.
1114 return "";
Brian Carlstroma9f19782011-10-13 00:14:47 -07001115 }
Brian Carlstrom7675e162013-06-10 16:18:04 -07001116 return dalvik_cache;
Brian Carlstroma9f19782011-10-13 00:14:47 -07001117}
1118
Alex Lighta59dd802014-07-02 16:28:08 -07001119bool GetDalvikCacheFilename(const char* location, const char* cache_location,
1120 std::string* filename, std::string* error_msg) {
Ian Rogerse6060102013-05-16 12:01:04 -07001121 if (location[0] != '/') {
Alex Lighta59dd802014-07-02 16:28:08 -07001122 *error_msg = StringPrintf("Expected path in location to be absolute: %s", location);
1123 return false;
Ian Rogerse6060102013-05-16 12:01:04 -07001124 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001125 std::string cache_file(&location[1]); // skip leading slash
Alex Light6e183f22014-07-18 14:57:04 -07001126 if (!EndsWith(location, ".dex") && !EndsWith(location, ".art") && !EndsWith(location, ".oat")) {
Brian Carlstrom30e2ea42013-06-19 23:25:37 -07001127 cache_file += "/";
1128 cache_file += DexFile::kClassesDex;
1129 }
Brian Carlstromb7bbba42011-10-13 14:58:47 -07001130 std::replace(cache_file.begin(), cache_file.end(), '/', '@');
Alex Lighta59dd802014-07-02 16:28:08 -07001131 *filename = StringPrintf("%s/%s", cache_location, cache_file.c_str());
1132 return true;
1133}
1134
Brian Carlstrom2afe4942014-05-19 10:25:33 -07001135static void InsertIsaDirectory(const InstructionSet isa, std::string* filename) {
Brian Carlstrom0e12bdc2014-05-14 17:44:28 -07001136 // in = /foo/bar/baz
1137 // out = /foo/bar/<isa>/baz
1138 size_t pos = filename->rfind('/');
1139 CHECK_NE(pos, std::string::npos) << *filename << " " << isa;
1140 filename->insert(pos, "/", 1);
1141 filename->insert(pos + 1, GetInstructionSetString(isa));
1142}
1143
1144std::string GetSystemImageFilename(const char* location, const InstructionSet isa) {
1145 // location = /system/framework/boot.art
1146 // filename = /system/framework/<isa>/boot.art
1147 std::string filename(location);
Brian Carlstrom2afe4942014-05-19 10:25:33 -07001148 InsertIsaDirectory(isa, &filename);
Brian Carlstrom0e12bdc2014-05-14 17:44:28 -07001149 return filename;
1150}
1151
David Sehr1488ff82016-08-16 19:22:57 -07001152const EnvSnapshot* TakeEnvSnapshot() {
1153 EnvSnapshot* snapshot = new EnvSnapshot();
1154 char** env = GetEnviron();
1155 for (size_t i = 0; env[i] != nullptr; ++i) {
1156 snapshot->name_value_pairs_.emplace_back(new std::string(env[i]));
1157 }
1158 return snapshot;
1159}
1160
Calin Juravle2e2db782016-02-23 12:00:03 +00001161int ExecAndReturnCode(std::vector<std::string>& arg_vector, std::string* error_msg) {
Brian Carlstrom6449c622014-02-10 23:48:36 -08001162 const std::string command_line(Join(arg_vector, ' '));
Brian Carlstrom6449c622014-02-10 23:48:36 -08001163 CHECK_GE(arg_vector.size(), 1U) << command_line;
1164
1165 // Convert the args to char pointers.
1166 const char* program = arg_vector[0].c_str();
1167 std::vector<char*> args;
Brian Carlstrom35d8b8e2014-02-25 10:51:11 -08001168 for (size_t i = 0; i < arg_vector.size(); ++i) {
1169 const std::string& arg = arg_vector[i];
1170 char* arg_str = const_cast<char*>(arg.c_str());
1171 CHECK(arg_str != nullptr) << i;
1172 args.push_back(arg_str);
Brian Carlstrom6449c622014-02-10 23:48:36 -08001173 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001174 args.push_back(nullptr);
Brian Carlstrom6449c622014-02-10 23:48:36 -08001175
1176 // fork and exec
1177 pid_t pid = fork();
1178 if (pid == 0) {
1179 // no allocation allowed between fork and exec
1180
1181 // change process groups, so we don't get reaped by ProcessManager
1182 setpgid(0, 0);
1183
David Sehr1488ff82016-08-16 19:22:57 -07001184 // The child inherits the environment unless the caller overrides it.
1185 if (Runtime::Current() == nullptr || Runtime::Current()->GetEnvSnapshot() == nullptr) {
1186 execv(program, &args[0]);
1187 } else {
1188 const EnvSnapshot* saved_snapshot = Runtime::Current()->GetEnvSnapshot();
1189 // Allocation between fork and exec is not well-behaved. Use a variable-length array instead.
1190 char* envp[saved_snapshot->name_value_pairs_.size() + 1];
1191 for (size_t i = 0; i < saved_snapshot->name_value_pairs_.size(); ++i) {
1192 envp[i] = const_cast<char*>(saved_snapshot->name_value_pairs_[i]->c_str());
1193 }
1194 envp[saved_snapshot->name_value_pairs_.size()] = nullptr;
1195 execve(program, &args[0], envp);
1196 }
1197 PLOG(ERROR) << "Failed to execve(" << command_line << ")";
Tobias Lindskogae35c372015-11-04 19:41:21 +01001198 // _exit to avoid atexit handlers in child.
1199 _exit(1);
Brian Carlstrom6449c622014-02-10 23:48:36 -08001200 } else {
1201 if (pid == -1) {
1202 *error_msg = StringPrintf("Failed to execv(%s) because fork failed: %s",
1203 command_line.c_str(), strerror(errno));
Calin Juravle2e2db782016-02-23 12:00:03 +00001204 return -1;
Brian Carlstrom6449c622014-02-10 23:48:36 -08001205 }
1206
1207 // wait for subprocess to finish
Calin Juravle2e2db782016-02-23 12:00:03 +00001208 int status = -1;
Brian Carlstrom6449c622014-02-10 23:48:36 -08001209 pid_t got_pid = TEMP_FAILURE_RETRY(waitpid(pid, &status, 0));
1210 if (got_pid != pid) {
1211 *error_msg = StringPrintf("Failed after fork for execv(%s) because waitpid failed: "
1212 "wanted %d, got %d: %s",
1213 command_line.c_str(), pid, got_pid, strerror(errno));
Calin Juravle2e2db782016-02-23 12:00:03 +00001214 return -1;
Brian Carlstrom6449c622014-02-10 23:48:36 -08001215 }
Calin Juravle2e2db782016-02-23 12:00:03 +00001216 if (WIFEXITED(status)) {
1217 return WEXITSTATUS(status);
Brian Carlstrom6449c622014-02-10 23:48:36 -08001218 }
Calin Juravle2e2db782016-02-23 12:00:03 +00001219 return -1;
1220 }
1221}
1222
1223bool Exec(std::vector<std::string>& arg_vector, std::string* error_msg) {
1224 int status = ExecAndReturnCode(arg_vector, error_msg);
1225 if (status != 0) {
1226 const std::string command_line(Join(arg_vector, ' '));
1227 *error_msg = StringPrintf("Failed execv(%s) because non-0 exit status",
1228 command_line.c_str());
1229 return false;
Brian Carlstrom6449c622014-02-10 23:48:36 -08001230 }
1231 return true;
1232}
1233
Calin Juravle5e2b9712015-12-18 14:10:00 +02001234bool FileExists(const std::string& filename) {
1235 struct stat buffer;
1236 return stat(filename.c_str(), &buffer) == 0;
1237}
1238
Calin Juravleb9c1b9b2016-03-17 17:07:52 +00001239bool FileExistsAndNotEmpty(const std::string& filename) {
1240 struct stat buffer;
1241 if (stat(filename.c_str(), &buffer) != 0) {
1242 return false;
1243 }
1244 return buffer.st_size > 0;
1245}
1246
Mathieu Chartier76433272014-09-26 14:32:37 -07001247std::string PrettyDescriptor(Primitive::Type type) {
1248 return PrettyDescriptor(Primitive::Descriptor(type));
1249}
1250
Andreas Gampe5073fed2015-08-10 11:40:25 -07001251static void DumpMethodCFGImpl(const DexFile* dex_file,
1252 uint32_t dex_method_idx,
1253 const DexFile::CodeItem* code_item,
1254 std::ostream& os) {
1255 os << "digraph {\n";
1256 os << " # /* " << PrettyMethod(dex_method_idx, *dex_file, true) << " */\n";
1257
1258 std::set<uint32_t> dex_pc_is_branch_target;
1259 {
1260 // Go and populate.
1261 const Instruction* inst = Instruction::At(code_item->insns_);
1262 for (uint32_t dex_pc = 0;
1263 dex_pc < code_item->insns_size_in_code_units_;
1264 dex_pc += inst->SizeInCodeUnits(), inst = inst->Next()) {
1265 if (inst->IsBranch()) {
1266 dex_pc_is_branch_target.insert(dex_pc + inst->GetTargetOffset());
1267 } else if (inst->IsSwitch()) {
1268 const uint16_t* insns = code_item->insns_ + dex_pc;
Andreas Gampe53de99c2015-08-17 13:43:55 -07001269 int32_t switch_offset = insns[1] | (static_cast<int32_t>(insns[2]) << 16);
Andreas Gampe5073fed2015-08-10 11:40:25 -07001270 const uint16_t* switch_insns = insns + switch_offset;
1271 uint32_t switch_count = switch_insns[1];
1272 int32_t targets_offset;
1273 if ((*insns & 0xff) == Instruction::PACKED_SWITCH) {
1274 /* 0=sig, 1=count, 2/3=firstKey */
1275 targets_offset = 4;
1276 } else {
1277 /* 0=sig, 1=count, 2..count*2 = keys */
1278 targets_offset = 2 + 2 * switch_count;
1279 }
1280 for (uint32_t targ = 0; targ < switch_count; targ++) {
Andreas Gampe53de99c2015-08-17 13:43:55 -07001281 int32_t offset =
1282 static_cast<int32_t>(switch_insns[targets_offset + targ * 2]) |
1283 static_cast<int32_t>(switch_insns[targets_offset + targ * 2 + 1] << 16);
Andreas Gampe5073fed2015-08-10 11:40:25 -07001284 dex_pc_is_branch_target.insert(dex_pc + offset);
1285 }
1286 }
1287 }
1288 }
1289
1290 // Create nodes for "basic blocks."
1291 std::map<uint32_t, uint32_t> dex_pc_to_node_id; // This only has entries for block starts.
1292 std::map<uint32_t, uint32_t> dex_pc_to_incl_id; // This has entries for all dex pcs.
1293
1294 {
1295 const Instruction* inst = Instruction::At(code_item->insns_);
1296 bool first_in_block = true;
1297 bool force_new_block = false;
Andreas Gampe53de99c2015-08-17 13:43:55 -07001298 for (uint32_t dex_pc = 0;
1299 dex_pc < code_item->insns_size_in_code_units_;
1300 dex_pc += inst->SizeInCodeUnits(), inst = inst->Next()) {
Andreas Gampe5073fed2015-08-10 11:40:25 -07001301 if (dex_pc == 0 ||
1302 (dex_pc_is_branch_target.find(dex_pc) != dex_pc_is_branch_target.end()) ||
1303 force_new_block) {
1304 uint32_t id = dex_pc_to_node_id.size();
1305 if (id > 0) {
1306 // End last node.
1307 os << "}\"];\n";
1308 }
1309 // Start next node.
1310 os << " node" << id << " [shape=record,label=\"{";
1311 dex_pc_to_node_id.insert(std::make_pair(dex_pc, id));
1312 first_in_block = true;
1313 force_new_block = false;
1314 }
1315
1316 // Register instruction.
1317 dex_pc_to_incl_id.insert(std::make_pair(dex_pc, dex_pc_to_node_id.size() - 1));
1318
1319 // Print instruction.
1320 if (!first_in_block) {
1321 os << " | ";
1322 } else {
1323 first_in_block = false;
1324 }
1325
1326 // Dump the instruction. Need to escape '"', '<', '>', '{' and '}'.
1327 os << "<" << "p" << dex_pc << ">";
1328 os << " 0x" << std::hex << dex_pc << std::dec << ": ";
1329 std::string inst_str = inst->DumpString(dex_file);
1330 size_t cur_start = 0; // It's OK to start at zero, instruction dumps don't start with chars
Andreas Gampe53de99c2015-08-17 13:43:55 -07001331 // we need to escape.
Andreas Gampe5073fed2015-08-10 11:40:25 -07001332 while (cur_start != std::string::npos) {
1333 size_t next_escape = inst_str.find_first_of("\"{}<>", cur_start + 1);
1334 if (next_escape == std::string::npos) {
1335 os << inst_str.substr(cur_start, inst_str.size() - cur_start);
1336 break;
1337 } else {
1338 os << inst_str.substr(cur_start, next_escape - cur_start);
1339 // Escape all necessary characters.
1340 while (next_escape < inst_str.size()) {
1341 char c = inst_str.at(next_escape);
1342 if (c == '"' || c == '{' || c == '}' || c == '<' || c == '>') {
1343 os << '\\' << c;
1344 } else {
1345 break;
1346 }
1347 next_escape++;
1348 }
1349 if (next_escape >= inst_str.size()) {
1350 next_escape = std::string::npos;
1351 }
1352 cur_start = next_escape;
1353 }
1354 }
1355
1356 // Force a new block for some fall-throughs and some instructions that terminate the "local"
1357 // control flow.
1358 force_new_block = inst->IsSwitch() || inst->IsBasicBlockEnd();
1359 }
1360 // Close last node.
1361 if (dex_pc_to_node_id.size() > 0) {
1362 os << "}\"];\n";
1363 }
1364 }
1365
1366 // Create edges between them.
1367 {
1368 std::ostringstream regular_edges;
1369 std::ostringstream taken_edges;
1370 std::ostringstream exception_edges;
1371
1372 // Common set of exception edges.
1373 std::set<uint32_t> exception_targets;
1374
1375 // These blocks (given by the first dex pc) need exception per dex-pc handling in a second
1376 // pass. In the first pass we try and see whether we can use a common set of edges.
1377 std::set<uint32_t> blocks_with_detailed_exceptions;
1378
1379 {
1380 uint32_t last_node_id = std::numeric_limits<uint32_t>::max();
1381 uint32_t old_dex_pc = 0;
1382 uint32_t block_start_dex_pc = std::numeric_limits<uint32_t>::max();
1383 const Instruction* inst = Instruction::At(code_item->insns_);
1384 for (uint32_t dex_pc = 0;
1385 dex_pc < code_item->insns_size_in_code_units_;
1386 old_dex_pc = dex_pc, dex_pc += inst->SizeInCodeUnits(), inst = inst->Next()) {
1387 {
1388 auto it = dex_pc_to_node_id.find(dex_pc);
1389 if (it != dex_pc_to_node_id.end()) {
1390 if (!exception_targets.empty()) {
1391 // It seems the last block had common exception handlers. Add the exception edges now.
1392 uint32_t node_id = dex_pc_to_node_id.find(block_start_dex_pc)->second;
1393 for (uint32_t handler_pc : exception_targets) {
1394 auto node_id_it = dex_pc_to_incl_id.find(handler_pc);
1395 if (node_id_it != dex_pc_to_incl_id.end()) {
1396 exception_edges << " node" << node_id
1397 << " -> node" << node_id_it->second << ":p" << handler_pc
1398 << ";\n";
1399 }
1400 }
1401 exception_targets.clear();
1402 }
1403
1404 block_start_dex_pc = dex_pc;
1405
1406 // Seems to be a fall-through, connect to last_node_id. May be spurious edges for things
1407 // like switch data.
1408 uint32_t old_last = last_node_id;
1409 last_node_id = it->second;
1410 if (old_last != std::numeric_limits<uint32_t>::max()) {
1411 regular_edges << " node" << old_last << ":p" << old_dex_pc
1412 << " -> node" << last_node_id << ":p" << dex_pc
1413 << ";\n";
1414 }
1415 }
1416
1417 // Look at the exceptions of the first entry.
1418 CatchHandlerIterator catch_it(*code_item, dex_pc);
1419 for (; catch_it.HasNext(); catch_it.Next()) {
1420 exception_targets.insert(catch_it.GetHandlerAddress());
1421 }
1422 }
1423
1424 // Handle instruction.
1425
1426 // Branch: something with at most two targets.
1427 if (inst->IsBranch()) {
1428 const int32_t offset = inst->GetTargetOffset();
1429 const bool conditional = !inst->IsUnconditional();
1430
1431 auto target_it = dex_pc_to_node_id.find(dex_pc + offset);
1432 if (target_it != dex_pc_to_node_id.end()) {
1433 taken_edges << " node" << last_node_id << ":p" << dex_pc
1434 << " -> node" << target_it->second << ":p" << (dex_pc + offset)
1435 << ";\n";
1436 }
1437 if (!conditional) {
1438 // No fall-through.
1439 last_node_id = std::numeric_limits<uint32_t>::max();
1440 }
1441 } else if (inst->IsSwitch()) {
1442 // TODO: Iterate through all switch targets.
1443 const uint16_t* insns = code_item->insns_ + dex_pc;
1444 /* make sure the start of the switch is in range */
Andreas Gampe53de99c2015-08-17 13:43:55 -07001445 int32_t switch_offset = insns[1] | (static_cast<int32_t>(insns[2]) << 16);
Andreas Gampe5073fed2015-08-10 11:40:25 -07001446 /* offset to switch table is a relative branch-style offset */
1447 const uint16_t* switch_insns = insns + switch_offset;
1448 uint32_t switch_count = switch_insns[1];
1449 int32_t targets_offset;
1450 if ((*insns & 0xff) == Instruction::PACKED_SWITCH) {
1451 /* 0=sig, 1=count, 2/3=firstKey */
1452 targets_offset = 4;
1453 } else {
1454 /* 0=sig, 1=count, 2..count*2 = keys */
1455 targets_offset = 2 + 2 * switch_count;
1456 }
1457 /* make sure the end of the switch is in range */
1458 /* verify each switch target */
1459 for (uint32_t targ = 0; targ < switch_count; targ++) {
Andreas Gampe53de99c2015-08-17 13:43:55 -07001460 int32_t offset =
1461 static_cast<int32_t>(switch_insns[targets_offset + targ * 2]) |
1462 static_cast<int32_t>(switch_insns[targets_offset + targ * 2 + 1] << 16);
Andreas Gampe5073fed2015-08-10 11:40:25 -07001463 int32_t abs_offset = dex_pc + offset;
1464 auto target_it = dex_pc_to_node_id.find(abs_offset);
1465 if (target_it != dex_pc_to_node_id.end()) {
1466 // TODO: value label.
1467 taken_edges << " node" << last_node_id << ":p" << dex_pc
1468 << " -> node" << target_it->second << ":p" << (abs_offset)
1469 << ";\n";
1470 }
1471 }
1472 }
1473
1474 // Exception edges. If this is not the first instruction in the block
1475 if (block_start_dex_pc != dex_pc) {
1476 std::set<uint32_t> current_handler_pcs;
1477 CatchHandlerIterator catch_it(*code_item, dex_pc);
1478 for (; catch_it.HasNext(); catch_it.Next()) {
1479 current_handler_pcs.insert(catch_it.GetHandlerAddress());
1480 }
1481 if (current_handler_pcs != exception_targets) {
1482 exception_targets.clear(); // Clear so we don't do something at the end.
1483 blocks_with_detailed_exceptions.insert(block_start_dex_pc);
1484 }
1485 }
1486
1487 if (inst->IsReturn() ||
1488 (inst->Opcode() == Instruction::THROW) ||
1489 (inst->IsBranch() && inst->IsUnconditional())) {
1490 // No fall-through.
1491 last_node_id = std::numeric_limits<uint32_t>::max();
1492 }
1493 }
1494 // Finish up the last block, if it had common exceptions.
1495 if (!exception_targets.empty()) {
1496 // It seems the last block had common exception handlers. Add the exception edges now.
1497 uint32_t node_id = dex_pc_to_node_id.find(block_start_dex_pc)->second;
1498 for (uint32_t handler_pc : exception_targets) {
1499 auto node_id_it = dex_pc_to_incl_id.find(handler_pc);
1500 if (node_id_it != dex_pc_to_incl_id.end()) {
1501 exception_edges << " node" << node_id
1502 << " -> node" << node_id_it->second << ":p" << handler_pc
1503 << ";\n";
1504 }
1505 }
1506 exception_targets.clear();
1507 }
1508 }
1509
1510 // Second pass for detailed exception blocks.
1511 // TODO
1512 // Exception edges. If this is not the first instruction in the block
1513 for (uint32_t dex_pc : blocks_with_detailed_exceptions) {
1514 const Instruction* inst = Instruction::At(&code_item->insns_[dex_pc]);
1515 uint32_t this_node_id = dex_pc_to_incl_id.find(dex_pc)->second;
Andreas Gampe53de99c2015-08-17 13:43:55 -07001516 while (true) {
Andreas Gampe5073fed2015-08-10 11:40:25 -07001517 CatchHandlerIterator catch_it(*code_item, dex_pc);
1518 if (catch_it.HasNext()) {
1519 std::set<uint32_t> handled_targets;
1520 for (; catch_it.HasNext(); catch_it.Next()) {
1521 uint32_t handler_pc = catch_it.GetHandlerAddress();
1522 auto it = handled_targets.find(handler_pc);
1523 if (it == handled_targets.end()) {
1524 auto node_id_it = dex_pc_to_incl_id.find(handler_pc);
1525 if (node_id_it != dex_pc_to_incl_id.end()) {
1526 exception_edges << " node" << this_node_id << ":p" << dex_pc
1527 << " -> node" << node_id_it->second << ":p" << handler_pc
1528 << ";\n";
1529 }
1530
1531 // Mark as done.
1532 handled_targets.insert(handler_pc);
1533 }
1534 }
1535 }
1536 if (inst->IsBasicBlockEnd()) {
1537 break;
1538 }
1539
Andreas Gampe53de99c2015-08-17 13:43:55 -07001540 // Loop update. Have a break-out if the next instruction is a branch target and thus in
1541 // another block.
Andreas Gampe5073fed2015-08-10 11:40:25 -07001542 dex_pc += inst->SizeInCodeUnits();
1543 if (dex_pc >= code_item->insns_size_in_code_units_) {
1544 break;
1545 }
1546 if (dex_pc_to_node_id.find(dex_pc) != dex_pc_to_node_id.end()) {
1547 break;
1548 }
1549 inst = inst->Next();
1550 }
1551 }
1552
1553 // Write out the sub-graphs to make edges styled.
1554 os << "\n";
1555 os << " subgraph regular_edges {\n";
1556 os << " edge [color=\"#000000\",weight=.3,len=3];\n\n";
1557 os << " " << regular_edges.str() << "\n";
1558 os << " }\n\n";
1559
1560 os << " subgraph taken_edges {\n";
1561 os << " edge [color=\"#00FF00\",weight=.3,len=3];\n\n";
1562 os << " " << taken_edges.str() << "\n";
1563 os << " }\n\n";
1564
1565 os << " subgraph exception_edges {\n";
1566 os << " edge [color=\"#FF0000\",weight=.3,len=3];\n\n";
1567 os << " " << exception_edges.str() << "\n";
1568 os << " }\n\n";
1569 }
1570
1571 os << "}\n";
1572}
1573
1574void DumpMethodCFG(ArtMethod* method, std::ostream& os) {
1575 const DexFile* dex_file = method->GetDexFile();
1576 const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset());
1577
1578 DumpMethodCFGImpl(dex_file, method->GetDexMethodIndex(), code_item, os);
1579}
1580
1581void DumpMethodCFG(const DexFile* dex_file, uint32_t dex_method_idx, std::ostream& os) {
1582 // This is painful, we need to find the code item. That means finding the class, and then
1583 // iterating the table.
1584 if (dex_method_idx >= dex_file->NumMethodIds()) {
1585 os << "Could not find method-idx.";
1586 return;
1587 }
1588 const DexFile::MethodId& method_id = dex_file->GetMethodId(dex_method_idx);
1589
1590 const DexFile::ClassDef* class_def = dex_file->FindClassDef(method_id.class_idx_);
1591 if (class_def == nullptr) {
1592 os << "Could not find class-def.";
1593 return;
1594 }
1595
1596 const uint8_t* class_data = dex_file->GetClassData(*class_def);
1597 if (class_data == nullptr) {
1598 os << "No class data.";
1599 return;
1600 }
1601
1602 ClassDataItemIterator it(*dex_file, class_data);
1603 // Skip fields
1604 while (it.HasNextStaticField() || it.HasNextInstanceField()) {
1605 it.Next();
1606 }
1607
1608 // Find method, and dump it.
1609 while (it.HasNextDirectMethod() || it.HasNextVirtualMethod()) {
1610 uint32_t method_idx = it.GetMemberIndex();
1611 if (method_idx == dex_method_idx) {
1612 DumpMethodCFGImpl(dex_file, dex_method_idx, it.GetMethodCodeItem(), os);
1613 return;
1614 }
1615 it.Next();
1616 }
1617
1618 // Otherwise complain.
1619 os << "Something went wrong, didn't find the method in the class data.";
1620}
1621
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001622static void ParseStringAfterChar(const std::string& s,
1623 char c,
1624 std::string* parsed_value,
1625 UsageFn Usage) {
1626 std::string::size_type colon = s.find(c);
1627 if (colon == std::string::npos) {
1628 Usage("Missing char %c in option %s\n", c, s.c_str());
1629 }
1630 // Add one to remove the char we were trimming until.
1631 *parsed_value = s.substr(colon + 1);
1632}
1633
1634void ParseDouble(const std::string& option,
1635 char after_char,
1636 double min,
1637 double max,
1638 double* parsed_value,
1639 UsageFn Usage) {
1640 std::string substring;
1641 ParseStringAfterChar(option, after_char, &substring, Usage);
1642 bool sane_val = true;
1643 double value;
1644 if ((false)) {
1645 // TODO: this doesn't seem to work on the emulator. b/15114595
1646 std::stringstream iss(substring);
1647 iss >> value;
1648 // Ensure that we have a value, there was no cruft after it and it satisfies a sensible range.
1649 sane_val = iss.eof() && (value >= min) && (value <= max);
1650 } else {
1651 char* end = nullptr;
1652 value = strtod(substring.c_str(), &end);
1653 sane_val = *end == '\0' && value >= min && value <= max;
1654 }
1655 if (!sane_val) {
1656 Usage("Invalid double value %s for option %s\n", substring.c_str(), option.c_str());
1657 }
1658 *parsed_value = value;
1659}
1660
Calin Juravle4d77b6a2015-12-01 18:38:09 +00001661int64_t GetFileSizeBytes(const std::string& filename) {
1662 struct stat stat_buf;
1663 int rc = stat(filename.c_str(), &stat_buf);
1664 return rc == 0 ? stat_buf.st_size : -1;
1665}
1666
Mathieu Chartier4d87df62016-01-07 15:14:19 -08001667void SleepForever() {
1668 while (true) {
1669 usleep(1000000);
1670 }
1671}
1672
Elliott Hughes42ee1422011-09-06 12:33:32 -07001673} // namespace art