2b2b25b878
This should make it easier to add new options, and to add options that are complex. For example, I want to modify the behavior of record_allocs_file so that it also enables record_allocs to a default state. Test: All unit tests pass. Test: Enable the backtrace option and restart. Change-Id: Idf5cdeed06ade3bc2c8ae39d228734bf65209b4f
463 lines
17 KiB
C++
463 lines
17 KiB
C++
/*
|
|
* Copyright (C) 2015 The Android Open Source Project
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions
|
|
* are met:
|
|
* * Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* * Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in
|
|
* the documentation and/or other materials provided with the
|
|
* distribution.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
* COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
* BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
|
|
* OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
|
|
* AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
|
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
|
|
* OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
* SUCH DAMAGE.
|
|
*/
|
|
|
|
#include <assert.h>
|
|
#include <ctype.h>
|
|
#include <errno.h>
|
|
#include <limits.h>
|
|
#include <signal.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <sys/cdefs.h>
|
|
|
|
#include <string>
|
|
#include <vector>
|
|
|
|
#include <private/bionic_macros.h>
|
|
|
|
#include "Config.h"
|
|
#include "debug_log.h"
|
|
|
|
// Config constants
|
|
static constexpr uint8_t DEFAULT_FILL_ALLOC_VALUE = 0xeb;
|
|
static constexpr uint8_t DEFAULT_FILL_FREE_VALUE = 0xef;
|
|
|
|
static constexpr uint8_t DEFAULT_FRONT_GUARD_VALUE = 0xaa;
|
|
static constexpr uint8_t DEFAULT_REAR_GUARD_VALUE = 0xbb;
|
|
|
|
// Used as the default for all guard values.
|
|
static constexpr size_t DEFAULT_GUARD_BYTES = 32;
|
|
static constexpr size_t MAX_GUARD_BYTES = 16384;
|
|
|
|
static constexpr size_t DEFAULT_BACKTRACE_FRAMES = 16;
|
|
static constexpr size_t MAX_BACKTRACE_FRAMES = 256;
|
|
|
|
static constexpr size_t DEFAULT_EXPAND_BYTES = 16;
|
|
static constexpr size_t MAX_EXPAND_BYTES = 16384;
|
|
|
|
static constexpr size_t DEFAULT_FREE_TRACK_ALLOCATIONS = 100;
|
|
static constexpr size_t MAX_FREE_TRACK_ALLOCATIONS = 16384;
|
|
|
|
static constexpr size_t DEFAULT_RECORD_ALLOCS = 8000000;
|
|
static constexpr size_t MAX_RECORD_ALLOCS = 50000000;
|
|
static constexpr const char DEFAULT_RECORD_ALLOCS_FILE[] = "/data/local/tmp/record_allocs.txt";
|
|
|
|
const std::unordered_map<std::string, Config::OptionInfo> Config::kOptions = {
|
|
{"guard",
|
|
{FRONT_GUARD | REAR_GUARD, &Config::SetGuard},
|
|
},
|
|
{"front_guard",
|
|
{FRONT_GUARD, &Config::SetFrontGuard},
|
|
},
|
|
{"rear_guard",
|
|
{REAR_GUARD, &Config::SetRearGuard},
|
|
},
|
|
|
|
{"backtrace",
|
|
{BACKTRACE | TRACK_ALLOCS, &Config::SetBacktrace},
|
|
},
|
|
{"backtrace_enable_on_signal",
|
|
{BACKTRACE | TRACK_ALLOCS, &Config::SetBacktraceEnableOnSignal},
|
|
},
|
|
|
|
{"fill",
|
|
{FILL_ON_ALLOC | FILL_ON_FREE, &Config::SetFill},
|
|
},
|
|
{"fill_on_alloc",
|
|
{FILL_ON_ALLOC, &Config::SetFillOnAlloc},
|
|
},
|
|
{"fill_on_free",
|
|
{FILL_ON_FREE, &Config::SetFillOnFree},
|
|
},
|
|
|
|
{"expand_alloc",
|
|
{EXPAND_ALLOC, &Config::SetExpandAlloc},
|
|
},
|
|
|
|
{"free_track",
|
|
{FREE_TRACK | FILL_ON_FREE, &Config::SetFreeTrack},
|
|
},
|
|
{"free_track_backtrace_num_frames",
|
|
{0, &Config::SetFreeTrackBacktraceNumFrames},
|
|
},
|
|
|
|
{"leak_track",
|
|
{LEAK_TRACK | TRACK_ALLOCS, &Config::VerifyValueEmpty},
|
|
},
|
|
|
|
{"record_allocs",
|
|
{RECORD_ALLOCS, &Config::SetRecordAllocs},
|
|
},
|
|
{"record_allocs_file",
|
|
{0, &Config::SetRecordAllocsFile},
|
|
},
|
|
};
|
|
|
|
bool Config::ParseValue(const std::string& option, const std::string& value,
|
|
size_t min_value, size_t max_value, size_t* parsed_value) const {
|
|
assert(!value.empty());
|
|
|
|
// Parse the value into a size_t value.
|
|
errno = 0;
|
|
char* end;
|
|
long long_value = strtol(value.c_str(), &end, 10);
|
|
if (errno != 0) {
|
|
error_log("%s: bad value for option '%s': %s", getprogname(), option.c_str(),
|
|
strerror(errno));
|
|
return false;
|
|
}
|
|
if (end == value.c_str()) {
|
|
error_log("%s: bad value for option '%s'", getprogname(), option.c_str());
|
|
return false;
|
|
}
|
|
if (static_cast<size_t>(end - value.c_str()) != value.size()) {
|
|
error_log("%s: bad value for option '%s', non space found after option: %s",
|
|
getprogname(), option.c_str(), end);
|
|
return false;
|
|
}
|
|
if (long_value < 0) {
|
|
error_log("%s: bad value for option '%s', value cannot be negative: %ld",
|
|
getprogname(), option.c_str(), long_value);
|
|
return false;
|
|
}
|
|
|
|
if (static_cast<size_t>(long_value) < min_value) {
|
|
error_log("%s: bad value for option '%s', value must be >= %zu: %ld",
|
|
getprogname(), option.c_str(), min_value, long_value);
|
|
return false;
|
|
}
|
|
if (static_cast<size_t>(long_value) > max_value) {
|
|
error_log("%s: bad value for option '%s', value must be <= %zu: %ld",
|
|
getprogname(), option.c_str(), max_value, long_value);
|
|
return false;
|
|
}
|
|
*parsed_value = static_cast<size_t>(long_value);
|
|
return true;
|
|
}
|
|
|
|
bool Config::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) const {
|
|
if (value.empty()) {
|
|
*new_value = default_value;
|
|
return true;
|
|
}
|
|
return ParseValue(option, value, min_value, max_value, new_value);
|
|
}
|
|
|
|
bool Config::SetGuard(const std::string& option, const std::string& value) {
|
|
if (value.empty()) {
|
|
// Set the defaults.
|
|
front_guard_bytes_ = DEFAULT_GUARD_BYTES;
|
|
rear_guard_bytes_ = DEFAULT_GUARD_BYTES;
|
|
return true;
|
|
}
|
|
|
|
if (!ParseValue(option, value, 1, MAX_GUARD_BYTES, &rear_guard_bytes_)) {
|
|
return false;
|
|
}
|
|
|
|
// It's necessary to align the front guard to MINIMUM_ALIGNMENT_BYTES to
|
|
// make sure that the header is aligned properly.
|
|
front_guard_bytes_ = BIONIC_ALIGN(rear_guard_bytes_, MINIMUM_ALIGNMENT_BYTES);
|
|
return true;
|
|
}
|
|
|
|
bool Config::SetFrontGuard(const std::string& option, const std::string& value) {
|
|
if (!ParseValue(option, value, DEFAULT_GUARD_BYTES, 1, MAX_GUARD_BYTES, &front_guard_bytes_)) {
|
|
return false;
|
|
}
|
|
// It's necessary to align the front guard to MINIMUM_ALIGNMENT_BYTES to
|
|
// make sure that the header is aligned properly.
|
|
front_guard_bytes_ = BIONIC_ALIGN(front_guard_bytes_, MINIMUM_ALIGNMENT_BYTES);
|
|
return true;
|
|
}
|
|
|
|
bool Config::SetRearGuard(const std::string& option, const std::string& value) {
|
|
return ParseValue(option, value, DEFAULT_GUARD_BYTES, 1, MAX_GUARD_BYTES, &rear_guard_bytes_);
|
|
}
|
|
|
|
bool Config::SetFill(const std::string& option, const std::string& value) {
|
|
if (value.empty()) {
|
|
// Set the defaults.
|
|
fill_on_alloc_bytes_ = SIZE_MAX;
|
|
fill_on_free_bytes_ = SIZE_MAX;
|
|
return true;
|
|
}
|
|
|
|
if (!ParseValue(option, value, 1, SIZE_MAX, &fill_on_alloc_bytes_)) {
|
|
return false;
|
|
}
|
|
fill_on_free_bytes_ = fill_on_alloc_bytes_;
|
|
return true;
|
|
}
|
|
|
|
bool Config::SetFillOnAlloc(const std::string& option, const std::string& value) {
|
|
return ParseValue(option, value, SIZE_MAX, 1, SIZE_MAX, &fill_on_alloc_bytes_);
|
|
}
|
|
|
|
bool Config::SetFillOnFree(const std::string& option, const std::string& value) {
|
|
return ParseValue(option, value, SIZE_MAX, 1, SIZE_MAX, &fill_on_free_bytes_);
|
|
}
|
|
|
|
bool Config::SetBacktrace(const std::string& option, const std::string& value) {
|
|
backtrace_enabled_ = true;
|
|
return ParseValue(option, value, DEFAULT_BACKTRACE_FRAMES, 1, MAX_BACKTRACE_FRAMES,
|
|
&backtrace_frames_);
|
|
}
|
|
|
|
bool Config::SetBacktraceEnableOnSignal(const std::string& option, const std::string& value) {
|
|
backtrace_enable_on_signal_ = true;
|
|
return ParseValue(option, value, DEFAULT_BACKTRACE_FRAMES, 1, MAX_BACKTRACE_FRAMES,
|
|
&backtrace_frames_);
|
|
}
|
|
|
|
bool Config::SetExpandAlloc(const std::string& option, const std::string& value) {
|
|
return ParseValue(option, value, DEFAULT_EXPAND_BYTES, 1, MAX_EXPAND_BYTES, &expand_alloc_bytes_);
|
|
}
|
|
|
|
bool Config::SetFreeTrack(const std::string& option, const std::string& value) {
|
|
// This option enables fill on free, so set the bytes to the default value.
|
|
if (fill_on_free_bytes_ == 0) {
|
|
fill_on_free_bytes_ = SIZE_MAX;
|
|
}
|
|
if (free_track_backtrace_num_frames_ == 0) {
|
|
free_track_backtrace_num_frames_ = DEFAULT_BACKTRACE_FRAMES;
|
|
}
|
|
|
|
return ParseValue(option, value, DEFAULT_FREE_TRACK_ALLOCATIONS, 1, MAX_FREE_TRACK_ALLOCATIONS,
|
|
&free_track_allocations_);
|
|
}
|
|
|
|
bool Config::SetFreeTrackBacktraceNumFrames(const std::string& option, const std::string& value) {
|
|
return ParseValue(option, value, DEFAULT_BACKTRACE_FRAMES, 0, MAX_BACKTRACE_FRAMES,
|
|
&free_track_backtrace_num_frames_);
|
|
}
|
|
|
|
bool Config::SetRecordAllocs(const std::string& option, const std::string& value) {
|
|
if (record_allocs_file_.empty()) {
|
|
record_allocs_file_ = DEFAULT_RECORD_ALLOCS_FILE;
|
|
}
|
|
return ParseValue(option, value, DEFAULT_RECORD_ALLOCS, 1, MAX_RECORD_ALLOCS,
|
|
&record_allocs_num_entries_);
|
|
}
|
|
|
|
bool Config::SetRecordAllocsFile(const std::string&, const std::string& value) {
|
|
if (value.empty()) {
|
|
// Set the default.
|
|
record_allocs_file_ = DEFAULT_RECORD_ALLOCS_FILE;
|
|
return true;
|
|
}
|
|
record_allocs_file_ = value;
|
|
return true;
|
|
}
|
|
|
|
bool Config::VerifyValueEmpty(const std::string& option, const std::string& value) {
|
|
if (!value.empty()) {
|
|
// This is not valid.
|
|
error_log("%s: value set for option '%s' which does not take a value",
|
|
getprogname(), option.c_str());
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
|
|
void Config::LogUsage() const {
|
|
error_log("malloc debug options usage:");
|
|
error_log("");
|
|
error_log(" front_guard[=XX]");
|
|
error_log(" Enables a front guard on all allocations. If XX is set");
|
|
error_log(" it sets the number of bytes in the guard. The default is");
|
|
error_log(" %zu bytes, the max bytes is %zu.", DEFAULT_GUARD_BYTES, MAX_GUARD_BYTES);
|
|
error_log("");
|
|
error_log(" rear_guard[=XX]");
|
|
error_log(" Enables a rear guard on all allocations. If XX is set");
|
|
error_log(" it sets the number of bytes in the guard. The default is");
|
|
error_log(" %zu bytes, the max bytes is %zu.", DEFAULT_GUARD_BYTES, MAX_GUARD_BYTES);
|
|
error_log("");
|
|
error_log(" guard[=XX]");
|
|
error_log(" Enables both a front guard and a rear guard on all allocations.");
|
|
error_log(" If XX is set it sets the number of bytes in both guards.");
|
|
error_log(" The default is %zu bytes, the max bytes is %zu.",
|
|
DEFAULT_GUARD_BYTES, MAX_GUARD_BYTES);
|
|
error_log("");
|
|
error_log(" backtrace[=XX]");
|
|
error_log(" Enable capturing the backtrace at the point of allocation.");
|
|
error_log(" If XX is set it sets the number of backtrace frames.");
|
|
error_log(" The default is %zu frames, the max number of frames is %zu.",
|
|
DEFAULT_BACKTRACE_FRAMES, MAX_BACKTRACE_FRAMES);
|
|
error_log("");
|
|
error_log(" backtrace_enable_on_signal[=XX]");
|
|
error_log(" Enable capturing the backtrace at the point of allocation.");
|
|
error_log(" The backtrace capture is not enabled until the process");
|
|
error_log(" receives a signal. If XX is set it sets the number of backtrace");
|
|
error_log(" frames. The default is %zu frames, the max number of frames is %zu.",
|
|
DEFAULT_BACKTRACE_FRAMES, MAX_BACKTRACE_FRAMES);
|
|
error_log("");
|
|
error_log(" fill_on_alloc[=XX]");
|
|
error_log(" On first allocation, fill with the value 0x%02x.", DEFAULT_FILL_ALLOC_VALUE);
|
|
error_log(" If XX is set it will only fill up to XX bytes of the");
|
|
error_log(" allocation. The default is to fill the entire allocation.");
|
|
error_log("");
|
|
error_log(" fill_on_free[=XX]");
|
|
error_log(" On free, fill with the value 0x%02x. If XX is set it will",
|
|
DEFAULT_FILL_FREE_VALUE);
|
|
error_log(" only fill up to XX bytes of the allocation. The default is to");
|
|
error_log(" fill the entire allocation.");
|
|
error_log("");
|
|
error_log(" fill[=XX]");
|
|
error_log(" On both first allocation free, fill with the value 0x%02x on",
|
|
DEFAULT_FILL_ALLOC_VALUE);
|
|
error_log(" first allocation and the value 0x%02x. If XX is set, only fill",
|
|
DEFAULT_FILL_FREE_VALUE);
|
|
error_log(" up to XX bytes. The default is to fill the entire allocation.");
|
|
error_log("");
|
|
error_log(" expand_alloc[=XX]");
|
|
error_log(" Allocate an extra number of bytes for every allocation call.");
|
|
error_log(" If XX is set, that is the number of bytes to expand the");
|
|
error_log(" allocation by. The default is %zu bytes, the max bytes is %zu.",
|
|
DEFAULT_EXPAND_BYTES, MAX_EXPAND_BYTES);
|
|
error_log("");
|
|
error_log(" free_track[=XX]");
|
|
error_log(" When a pointer is freed, do not free the memory right away.");
|
|
error_log(" Instead, keep XX of these allocations around and then verify");
|
|
error_log(" that they have not been modified when the total number of freed");
|
|
error_log(" allocations exceeds the XX amount. When the program terminates,");
|
|
error_log(" the rest of these allocations are verified. When this option is");
|
|
error_log(" enabled, it automatically records the backtrace at the time of the free.");
|
|
error_log(" The default is to record %zu allocations, the max allocations",
|
|
DEFAULT_FREE_TRACK_ALLOCATIONS);
|
|
error_log(" to record is %zu.", MAX_FREE_TRACK_ALLOCATIONS);
|
|
error_log("");
|
|
error_log(" free_track_backtrace_num_frames[=XX]");
|
|
error_log(" This option only has meaning if free_track is set. This indicates");
|
|
error_log(" how many backtrace frames to capture when an allocation is freed.");
|
|
error_log(" If XX is set, that is the number of frames to capture. If XX");
|
|
error_log(" is set to zero, then no backtrace will be captured.");
|
|
error_log(" The default is to record %zu frames, the max number of frames is %zu.",
|
|
DEFAULT_BACKTRACE_FRAMES, MAX_BACKTRACE_FRAMES);
|
|
error_log("");
|
|
error_log(" leak_track");
|
|
error_log(" Enable the leak tracking of memory allocations.");
|
|
error_log("");
|
|
error_log(" record_allocs[=XX]");
|
|
error_log(" Record every single allocation/free call. When a specific signal");
|
|
error_log(" is sent to the process, the contents of recording are written to");
|
|
error_log(" a file (%s) and the recording is cleared.", DEFAULT_RECORD_ALLOCS_FILE);
|
|
error_log(" If XX is set, that is the total number of allocations/frees that can");
|
|
error_log(" recorded. of frames to capture. The default value is %zu.", DEFAULT_RECORD_ALLOCS);
|
|
error_log(" If the allocation list fills up, all further allocations are not recorded.");
|
|
error_log("");
|
|
error_log(" record_allocs_file[=FILE]");
|
|
error_log(" This option only has meaning if the record_allocs options has been specified.");
|
|
error_log(" This is the name of the file to which recording information will be dumped.");
|
|
error_log(" The default is %s.", DEFAULT_RECORD_ALLOCS_FILE);
|
|
}
|
|
|
|
bool Config::GetOption(const char** options_str, std::string* option, std::string* value) {
|
|
const char* cur = *options_str;
|
|
// Process each property name we can find.
|
|
while (isspace(*cur))
|
|
++cur;
|
|
|
|
if (*cur == '\0') {
|
|
*options_str = cur;
|
|
return false;
|
|
}
|
|
|
|
const char* start = cur;
|
|
while (!isspace(*cur) && *cur != '=' && *cur != '\0')
|
|
++cur;
|
|
|
|
*option = std::string(start, cur - start);
|
|
|
|
// Skip any spaces after the name.
|
|
while (isspace(*cur))
|
|
++cur;
|
|
|
|
value->clear();
|
|
if (*cur == '=') {
|
|
++cur;
|
|
// Skip the space after the equal.
|
|
while (isspace(*cur))
|
|
++cur;
|
|
|
|
start = cur;
|
|
while (!isspace(*cur) && *cur != '\0')
|
|
++cur;
|
|
|
|
if (cur != start) {
|
|
*value = std::string(start, cur - start);
|
|
}
|
|
}
|
|
*options_str = cur;
|
|
return true;
|
|
}
|
|
|
|
bool Config::Init(const char* options_str) {
|
|
// Initialize a few default values.
|
|
fill_alloc_value_ = DEFAULT_FILL_ALLOC_VALUE;
|
|
fill_free_value_ = DEFAULT_FILL_FREE_VALUE;
|
|
front_guard_value_ = DEFAULT_FRONT_GUARD_VALUE;
|
|
rear_guard_value_ = DEFAULT_REAR_GUARD_VALUE;
|
|
backtrace_signal_ = SIGRTMAX - 19;
|
|
record_allocs_signal_ = SIGRTMAX - 18;
|
|
free_track_backtrace_num_frames_ = 0;
|
|
record_allocs_file_.clear();
|
|
fill_on_free_bytes_ = 0;
|
|
backtrace_enable_on_signal_ = false;
|
|
backtrace_enabled_ = false;
|
|
|
|
// Process each option name we can find.
|
|
std::string option;
|
|
std::string value;
|
|
bool valid = true;
|
|
while (GetOption(&options_str, &option, &value)) {
|
|
auto entry = kOptions.find(option);
|
|
if (entry == kOptions.end()) {
|
|
error_log("%s: unknown option %s", getprogname(), option.c_str());
|
|
valid = false;
|
|
break;
|
|
}
|
|
|
|
const OptionInfo* info = &entry->second;
|
|
auto process_func = info->process_func;
|
|
if (process_func != nullptr && !(this->*process_func)(option, value)) {
|
|
valid = false;
|
|
break;
|
|
}
|
|
options_ |= info->option;
|
|
}
|
|
|
|
if (!valid || *options_str != '\0') {
|
|
LogUsage();
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|