• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright (C) 2015 The Android Open Source Project
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  *  * Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  *  * Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in
12  *    the documentation and/or other materials provided with the
13  *    distribution.
14  *
15  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
18  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
19  * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
21  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
22  * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
23  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
25  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26  * SUCH DAMAGE.
27  */
28 
29 #include <assert.h>
30 #include <ctype.h>
31 #include <errno.h>
32 #include <limits.h>
33 #include <signal.h>
34 #include <stdlib.h>
35 #include <string.h>
36 #include <sys/cdefs.h>
37 
38 #include <string>
39 #include <vector>
40 
41 #include <private/bionic_macros.h>
42 
43 #include "Config.h"
44 #include "debug_log.h"
45 
46 // Config constants
47 static constexpr uint8_t DEFAULT_FILL_ALLOC_VALUE = 0xeb;
48 static constexpr uint8_t DEFAULT_FILL_FREE_VALUE = 0xef;
49 
50 static constexpr uint8_t DEFAULT_FRONT_GUARD_VALUE = 0xaa;
51 static constexpr uint8_t DEFAULT_REAR_GUARD_VALUE = 0xbb;
52 
53 // Used as the default for all guard values.
54 static constexpr size_t DEFAULT_GUARD_BYTES = 32;
55 static constexpr size_t MAX_GUARD_BYTES = 16384;
56 
57 static constexpr size_t DEFAULT_BACKTRACE_FRAMES = 16;
58 static constexpr size_t MAX_BACKTRACE_FRAMES = 256;
59 
60 static constexpr size_t DEFAULT_EXPAND_BYTES = 16;
61 static constexpr size_t MAX_EXPAND_BYTES = 16384;
62 
63 static constexpr size_t DEFAULT_FREE_TRACK_ALLOCATIONS = 100;
64 static constexpr size_t MAX_FREE_TRACK_ALLOCATIONS = 16384;
65 
66 static constexpr size_t DEFAULT_RECORD_ALLOCS = 8000000;
67 static constexpr size_t MAX_RECORD_ALLOCS = 50000000;
68 static constexpr const char DEFAULT_RECORD_ALLOCS_FILE[] = "/data/local/tmp/record_allocs.txt";
69 
70 const std::unordered_map<std::string, Config::OptionInfo> Config::kOptions = {
71     {"guard",
72       {FRONT_GUARD | REAR_GUARD, &Config::SetGuard},
73     },
74     {"front_guard",
75       {FRONT_GUARD, &Config::SetFrontGuard},
76     },
77     {"rear_guard",
78       {REAR_GUARD, &Config::SetRearGuard},
79     },
80 
81     {"backtrace",
82       {BACKTRACE | TRACK_ALLOCS, &Config::SetBacktrace},
83     },
84     {"backtrace_enable_on_signal",
85       {BACKTRACE | TRACK_ALLOCS, &Config::SetBacktraceEnableOnSignal},
86     },
87 
88     {"fill",
89       {FILL_ON_ALLOC | FILL_ON_FREE, &Config::SetFill},
90     },
91     {"fill_on_alloc",
92       {FILL_ON_ALLOC, &Config::SetFillOnAlloc},
93     },
94     {"fill_on_free",
95       {FILL_ON_FREE, &Config::SetFillOnFree},
96     },
97 
98     {"expand_alloc",
99       {EXPAND_ALLOC, &Config::SetExpandAlloc},
100     },
101 
102     {"free_track",
103       {FREE_TRACK | FILL_ON_FREE, &Config::SetFreeTrack},
104     },
105     {"free_track_backtrace_num_frames",
106       {0, &Config::SetFreeTrackBacktraceNumFrames},
107     },
108 
109     {"leak_track",
110       {LEAK_TRACK | TRACK_ALLOCS, &Config::VerifyValueEmpty},
111     },
112 
113     {"record_allocs",
114       {RECORD_ALLOCS, &Config::SetRecordAllocs},
115     },
116     {"record_allocs_file",
117       {0, &Config::SetRecordAllocsFile},
118     },
119 };
120 
ParseValue(const std::string & option,const std::string & value,size_t min_value,size_t max_value,size_t * parsed_value) const121 bool Config::ParseValue(const std::string& option, const std::string& value,
122                         size_t min_value, size_t max_value, size_t* parsed_value) const {
123   assert(!value.empty());
124 
125   // Parse the value into a size_t value.
126   errno = 0;
127   char* end;
128   long long_value = strtol(value.c_str(), &end, 10);
129   if (errno != 0) {
130     error_log("%s: bad value for option '%s': %s", getprogname(), option.c_str(),
131               strerror(errno));
132     return false;
133   }
134   if (end == value.c_str()) {
135     error_log("%s: bad value for option '%s'", getprogname(), option.c_str());
136     return false;
137   }
138   if (static_cast<size_t>(end - value.c_str()) != value.size()) {
139     error_log("%s: bad value for option '%s', non space found after option: %s",
140               getprogname(), option.c_str(), end);
141     return false;
142   }
143   if (long_value < 0) {
144     error_log("%s: bad value for option '%s', value cannot be negative: %ld",
145               getprogname(), option.c_str(), long_value);
146     return false;
147   }
148 
149   if (static_cast<size_t>(long_value) < min_value) {
150     error_log("%s: bad value for option '%s', value must be >= %zu: %ld",
151               getprogname(), option.c_str(), min_value, long_value);
152     return false;
153   }
154   if (static_cast<size_t>(long_value) > max_value) {
155     error_log("%s: bad value for option '%s', value must be <= %zu: %ld",
156               getprogname(), option.c_str(), max_value, long_value);
157     return false;
158   }
159   *parsed_value = static_cast<size_t>(long_value);
160   return true;
161 }
162 
ParseValue(const std::string & option,const std::string & value,size_t default_value,size_t min_value,size_t max_value,size_t * new_value) const163 bool Config::ParseValue(const std::string& option, const std::string& value, size_t default_value,
164                         size_t min_value, size_t max_value, size_t* new_value) const {
165   if (value.empty()) {
166     *new_value = default_value;
167     return true;
168   }
169   return ParseValue(option, value, min_value, max_value, new_value);
170 }
171 
SetGuard(const std::string & option,const std::string & value)172 bool Config::SetGuard(const std::string& option, const std::string& value) {
173   if (value.empty()) {
174     // Set the defaults.
175     front_guard_bytes_ = DEFAULT_GUARD_BYTES;
176     rear_guard_bytes_ = DEFAULT_GUARD_BYTES;
177     return true;
178   }
179 
180   if (!ParseValue(option, value, 1, MAX_GUARD_BYTES, &rear_guard_bytes_)) {
181     return false;
182   }
183 
184   // It's necessary to align the front guard to MINIMUM_ALIGNMENT_BYTES to
185   // make sure that the header is aligned properly.
186   front_guard_bytes_ = BIONIC_ALIGN(rear_guard_bytes_, MINIMUM_ALIGNMENT_BYTES);
187   return true;
188 }
189 
SetFrontGuard(const std::string & option,const std::string & value)190 bool Config::SetFrontGuard(const std::string& option, const std::string& value) {
191   if (!ParseValue(option, value, DEFAULT_GUARD_BYTES, 1, MAX_GUARD_BYTES, &front_guard_bytes_)) {
192     return false;
193   }
194   // It's necessary to align the front guard to MINIMUM_ALIGNMENT_BYTES to
195   // make sure that the header is aligned properly.
196   front_guard_bytes_ = BIONIC_ALIGN(front_guard_bytes_, MINIMUM_ALIGNMENT_BYTES);
197   return true;
198 }
199 
SetRearGuard(const std::string & option,const std::string & value)200 bool Config::SetRearGuard(const std::string& option, const std::string& value) {
201   return ParseValue(option, value, DEFAULT_GUARD_BYTES, 1, MAX_GUARD_BYTES, &rear_guard_bytes_);
202 }
203 
SetFill(const std::string & option,const std::string & value)204 bool Config::SetFill(const std::string& option, const std::string& value) {
205   if (value.empty()) {
206     // Set the defaults.
207     fill_on_alloc_bytes_ = SIZE_MAX;
208     fill_on_free_bytes_ = SIZE_MAX;
209     return true;
210   }
211 
212   if (!ParseValue(option, value, 1, SIZE_MAX, &fill_on_alloc_bytes_)) {
213     return false;
214   }
215   fill_on_free_bytes_ = fill_on_alloc_bytes_;
216   return true;
217 }
218 
SetFillOnAlloc(const std::string & option,const std::string & value)219 bool Config::SetFillOnAlloc(const std::string& option, const std::string& value) {
220   return ParseValue(option, value, SIZE_MAX, 1, SIZE_MAX, &fill_on_alloc_bytes_);
221 }
222 
SetFillOnFree(const std::string & option,const std::string & value)223 bool Config::SetFillOnFree(const std::string& option, const std::string& value) {
224   return ParseValue(option, value, SIZE_MAX, 1, SIZE_MAX, &fill_on_free_bytes_);
225 }
226 
SetBacktrace(const std::string & option,const std::string & value)227 bool Config::SetBacktrace(const std::string& option, const std::string& value) {
228   backtrace_enabled_ = true;
229   return ParseValue(option, value, DEFAULT_BACKTRACE_FRAMES, 1, MAX_BACKTRACE_FRAMES,
230                     &backtrace_frames_);
231 }
232 
SetBacktraceEnableOnSignal(const std::string & option,const std::string & value)233 bool Config::SetBacktraceEnableOnSignal(const std::string& option, const std::string& value) {
234   backtrace_enable_on_signal_ = true;
235   return ParseValue(option, value, DEFAULT_BACKTRACE_FRAMES, 1, MAX_BACKTRACE_FRAMES,
236                     &backtrace_frames_);
237 }
238 
SetExpandAlloc(const std::string & option,const std::string & value)239 bool Config::SetExpandAlloc(const std::string& option, const std::string& value) {
240   return ParseValue(option, value, DEFAULT_EXPAND_BYTES, 1, MAX_EXPAND_BYTES, &expand_alloc_bytes_);
241 }
242 
SetFreeTrack(const std::string & option,const std::string & value)243 bool Config::SetFreeTrack(const std::string& option, const std::string& value) {
244   // This option enables fill on free, so set the bytes to the default value.
245   if (fill_on_free_bytes_ == 0) {
246     fill_on_free_bytes_ = SIZE_MAX;
247   }
248   if (free_track_backtrace_num_frames_ == 0) {
249     free_track_backtrace_num_frames_ = DEFAULT_BACKTRACE_FRAMES;
250   }
251 
252   return ParseValue(option, value, DEFAULT_FREE_TRACK_ALLOCATIONS, 1, MAX_FREE_TRACK_ALLOCATIONS,
253                     &free_track_allocations_);
254 }
255 
SetFreeTrackBacktraceNumFrames(const std::string & option,const std::string & value)256 bool Config::SetFreeTrackBacktraceNumFrames(const std::string& option, const std::string& value) {
257   return ParseValue(option, value, DEFAULT_BACKTRACE_FRAMES, 0, MAX_BACKTRACE_FRAMES,
258                     &free_track_backtrace_num_frames_);
259 }
260 
SetRecordAllocs(const std::string & option,const std::string & value)261 bool Config::SetRecordAllocs(const std::string& option, const std::string& value) {
262   if (record_allocs_file_.empty()) {
263     record_allocs_file_ = DEFAULT_RECORD_ALLOCS_FILE;
264   }
265   return ParseValue(option, value, DEFAULT_RECORD_ALLOCS, 1, MAX_RECORD_ALLOCS,
266                     &record_allocs_num_entries_);
267 }
268 
SetRecordAllocsFile(const std::string &,const std::string & value)269 bool Config::SetRecordAllocsFile(const std::string&, const std::string& value) {
270   if (value.empty()) {
271     // Set the default.
272     record_allocs_file_ = DEFAULT_RECORD_ALLOCS_FILE;
273     return true;
274   }
275   record_allocs_file_ = value;
276   return true;
277 }
278 
VerifyValueEmpty(const std::string & option,const std::string & value)279 bool Config::VerifyValueEmpty(const std::string& option, const std::string& value) {
280   if (!value.empty()) {
281     // This is not valid.
282     error_log("%s: value set for option '%s' which does not take a value",
283               getprogname(), option.c_str());
284     return false;
285   }
286   return true;
287 }
288 
289 
LogUsage() const290 void Config::LogUsage() const {
291   error_log("malloc debug options usage:");
292   error_log("");
293   error_log("  front_guard[=XX]");
294   error_log("    Enables a front guard on all allocations. If XX is set");
295   error_log("    it sets the number of bytes in the guard. The default is");
296   error_log("    %zu bytes, the max bytes is %zu.", DEFAULT_GUARD_BYTES, MAX_GUARD_BYTES);
297   error_log("");
298   error_log("  rear_guard[=XX]");
299   error_log("    Enables a rear guard on all allocations. If XX is set");
300   error_log("    it sets the number of bytes in the guard. The default is");
301   error_log("    %zu bytes, the max bytes is %zu.", DEFAULT_GUARD_BYTES, MAX_GUARD_BYTES);
302   error_log("");
303   error_log("  guard[=XX]");
304   error_log("    Enables both a front guard and a rear guard on all allocations.");
305   error_log("    If XX is set it sets the number of bytes in both guards.");
306   error_log("    The default is %zu bytes, the max bytes is %zu.",
307             DEFAULT_GUARD_BYTES, MAX_GUARD_BYTES);
308   error_log("");
309   error_log("  backtrace[=XX]");
310   error_log("    Enable capturing the backtrace at the point of allocation.");
311   error_log("    If XX is set it sets the number of backtrace frames.");
312   error_log("    The default is %zu frames, the max number of frames is %zu.",
313             DEFAULT_BACKTRACE_FRAMES, MAX_BACKTRACE_FRAMES);
314   error_log("");
315   error_log("  backtrace_enable_on_signal[=XX]");
316   error_log("    Enable capturing the backtrace at the point of allocation.");
317   error_log("    The backtrace capture is not enabled until the process");
318   error_log("    receives a signal. If XX is set it sets the number of backtrace");
319   error_log("    frames. The default is %zu frames, the max number of frames is %zu.",
320             DEFAULT_BACKTRACE_FRAMES, MAX_BACKTRACE_FRAMES);
321   error_log("");
322   error_log("  fill_on_alloc[=XX]");
323   error_log("    On first allocation, fill with the value 0x%02x.", DEFAULT_FILL_ALLOC_VALUE);
324   error_log("    If XX is set it will only fill up to XX bytes of the");
325   error_log("    allocation. The default is to fill the entire allocation.");
326   error_log("");
327   error_log("  fill_on_free[=XX]");
328   error_log("    On free, fill with the value 0x%02x. If XX is set it will",
329             DEFAULT_FILL_FREE_VALUE);
330   error_log("    only fill up to XX bytes of the allocation. The default is to");
331   error_log("    fill the entire allocation.");
332   error_log("");
333   error_log("  fill[=XX]");
334   error_log("    On both first allocation free, fill with the value 0x%02x on",
335             DEFAULT_FILL_ALLOC_VALUE);
336   error_log("    first allocation and the value 0x%02x. If XX is set, only fill",
337             DEFAULT_FILL_FREE_VALUE);
338   error_log("    up to XX bytes. The default is to fill the entire allocation.");
339   error_log("");
340   error_log("  expand_alloc[=XX]");
341   error_log("    Allocate an extra number of bytes for every allocation call.");
342   error_log("    If XX is set, that is the number of bytes to expand the");
343   error_log("    allocation by. The default is %zu bytes, the max bytes is %zu.",
344             DEFAULT_EXPAND_BYTES, MAX_EXPAND_BYTES);
345   error_log("");
346   error_log("  free_track[=XX]");
347   error_log("    When a pointer is freed, do not free the memory right away.");
348   error_log("    Instead, keep XX of these allocations around and then verify");
349   error_log("    that they have not been modified when the total number of freed");
350   error_log("    allocations exceeds the XX amount. When the program terminates,");
351   error_log("    the rest of these allocations are verified. When this option is");
352   error_log("    enabled, it automatically records the backtrace at the time of the free.");
353   error_log("    The default is to record %zu allocations, the max allocations",
354             DEFAULT_FREE_TRACK_ALLOCATIONS);
355   error_log("    to record is %zu.", MAX_FREE_TRACK_ALLOCATIONS);
356   error_log("");
357   error_log("  free_track_backtrace_num_frames[=XX]");
358   error_log("    This option only has meaning if free_track is set. This indicates");
359   error_log("    how many backtrace frames to capture when an allocation is freed.");
360   error_log("    If XX is set, that is the number of frames to capture. If XX");
361   error_log("    is set to zero, then no backtrace will be captured.");
362   error_log("    The default is to record %zu frames, the max number of frames is %zu.",
363             DEFAULT_BACKTRACE_FRAMES, MAX_BACKTRACE_FRAMES);
364   error_log("");
365   error_log("  leak_track");
366   error_log("    Enable the leak tracking of memory allocations.");
367   error_log("");
368   error_log("  record_allocs[=XX]");
369   error_log("    Record every single allocation/free call. When a specific signal");
370   error_log("    is sent to the process, the contents of recording are written to");
371   error_log("    a file (%s) and the recording is cleared.", DEFAULT_RECORD_ALLOCS_FILE);
372   error_log("    If XX is set, that is the total number of allocations/frees that can");
373   error_log("    recorded. of frames to capture. The default value is %zu.", DEFAULT_RECORD_ALLOCS);
374   error_log("    If the allocation list fills up, all further allocations are not recorded.");
375   error_log("");
376   error_log("  record_allocs_file[=FILE]");
377   error_log("    This option only has meaning if the record_allocs options has been specified.");
378   error_log("    This is the name of the file to which recording information will be dumped.");
379   error_log("    The default is %s.", DEFAULT_RECORD_ALLOCS_FILE);
380 }
381 
GetOption(const char ** options_str,std::string * option,std::string * value)382 bool Config::GetOption(const char** options_str, std::string* option, std::string* value) {
383   const char* cur = *options_str;
384   // Process each property name we can find.
385   while (isspace(*cur))
386     ++cur;
387 
388   if (*cur == '\0') {
389     *options_str = cur;
390     return false;
391   }
392 
393   const char* start = cur;
394   while (!isspace(*cur) && *cur != '=' && *cur != '\0')
395     ++cur;
396 
397   *option = std::string(start, cur - start);
398 
399   // Skip any spaces after the name.
400   while (isspace(*cur))
401     ++cur;
402 
403   value->clear();
404   if (*cur == '=') {
405     ++cur;
406     // Skip the space after the equal.
407     while (isspace(*cur))
408       ++cur;
409 
410     start = cur;
411     while (!isspace(*cur) && *cur != '\0')
412       ++cur;
413 
414     if (cur != start) {
415       *value = std::string(start, cur - start);
416     }
417   }
418   *options_str = cur;
419   return true;
420 }
421 
Init(const char * options_str)422 bool Config::Init(const char* options_str) {
423   // Initialize a few default values.
424   fill_alloc_value_ = DEFAULT_FILL_ALLOC_VALUE;
425   fill_free_value_ = DEFAULT_FILL_FREE_VALUE;
426   front_guard_value_ = DEFAULT_FRONT_GUARD_VALUE;
427   rear_guard_value_ = DEFAULT_REAR_GUARD_VALUE;
428   backtrace_signal_ = SIGRTMAX - 19;
429   record_allocs_signal_ = SIGRTMAX - 18;
430   free_track_backtrace_num_frames_ = 0;
431   record_allocs_file_.clear();
432   fill_on_free_bytes_ = 0;
433   backtrace_enable_on_signal_ = false;
434   backtrace_enabled_ = false;
435 
436   // Process each option name we can find.
437   std::string option;
438   std::string value;
439   bool valid = true;
440   while (GetOption(&options_str, &option, &value)) {
441     auto entry = kOptions.find(option);
442     if (entry == kOptions.end()) {
443       error_log("%s: unknown option %s", getprogname(), option.c_str());
444       valid = false;
445       break;
446     }
447 
448     const OptionInfo* info = &entry->second;
449     auto process_func = info->process_func;
450     if (process_func != nullptr && !(this->*process_func)(option, value)) {
451       valid = false;
452       break;
453     }
454     options_ |= info->option;
455   }
456 
457   if (!valid || *options_str != '\0') {
458     LogUsage();
459     return false;
460   }
461 
462   return true;
463 }
464