溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
這篇文章主要講解了“Linux調試器中處理變量的過程是什么”，文中的講解內容簡單清晰，易于學習與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學習“Linux調試器中處理變量的過程是什么”吧！
在開始之前，請確保你使用的 libelfin 版本是我分支上的 fbreg。這包含了一些 hack 來支持獲取當前堆棧幀的基址并評估位置列表，這些都不是由原生的 libelfin 提供的。你可能需要給 GCC 傳遞 -gdwarf-2 參數使其生成兼容的 DWARF 信息。但是在實現之前，我將詳細說明 DWARF 5 最新規范中的位置編碼方式。
某一給定時刻的內存中變量的位置使用 DW_AT_location 屬性編碼在 DWARF 信息中。位置描述可以是單個位置描述、復合位置描述或位置列表。
簡單位置描述：描述了對象的一個連續的部分（通常是所有部分）的位置。簡單位置描述可以描述可尋址存儲器或寄存器中的位置，或缺少位置（具有或不具有已知值）。比如，DW_OP_fbreg -32： 一個整個存儲的變量 – 從堆棧幀基址開始的32個字節。
復合位置描述：根據片段描述對象，每個對象可以包含在寄存器的一部分中或存儲在與其他片段無關的存儲器位置中。比如， DW_OP_reg3 DW_OP_piece 4 DW_OP_reg10 DW_OP_piece 2：前四個字節位于寄存器 3 中，后兩個字節位于寄存器 10 中的一個變量。
位置列表：描述了具有有限生存期或在生存期內更改位置的對象。比如：
根據程序計數器的當前值，位置在寄存器之間移動的變量。
根據位置描述的種類，DW_AT_location 以三種不同的方式進行編碼。exprloc 編碼簡單和復合的位置描述。它們由一個字節長度組成，后跟一個 DWARF 表達式或位置描述。loclist 和 loclistptr 的編碼位置列表，它們在 .debug_loclists 部分中提供索引或偏移量，該部分描述了實際的位置列表。
使用 DWARF 表達式計算變量的實際位置。這包括操作堆棧值的一系列操作。有很多 DWARF 操作可用，所以我不會詳細解釋它們。相反，我會從每一個表達式中給出一些例子，給你一個可用的東西。另外，不要害怕這些；libelfin將為我們處理所有這些復雜性。
字面編碼
寄存器值
堆棧操作
算術和邏輯運算
控制流操作
輸入轉化
特殊操作
DWARF 類型的表示需要足夠強大來為調試器用戶提供有用的變量表示。用戶經常希望能夠在應用程序級別進行調試，而不是在機器級別進行調試，并且他們需要了解他們的變量正在做什么。
DWARF 類型與大多數其他調試信息一起編碼在 DIE 中。它們可以具有指示其名稱、編碼、大小、字節等的屬性。無數的類型標簽可用于表示指針、數組、結構體、typedef 以及 C 或 C++ 程序中可以看到的任何其他內容。
以這個簡單的結構體為例：
struct test{
int i;float j;
int k[42];test* next;
};這個結構體的父 DIE 是這樣的：
DW_TAG_structure_type DW_AT_name "test"DW_AT_byte_size 0x000000b8 DW_AT_decl_file 0x00000001 test.cpp DW_AT_decl_line 0x00000001
上面說的是我們有一個叫做 test 的結構體，大小為 0xb8，在 test.cpp 的第 1 行聲明。接下來有許多描述成員的子 DIE。
DW_TAG_member DW_AT_name "i"DW_AT_type DW_AT_decl_file 0x00000001 test.cpp DW_AT_decl_line 0x00000002 DW_AT_data_member_location 0 DW_TAG_member DW_AT_name "j"DW_AT_type DW_AT_decl_file 0x00000001 test.cpp DW_AT_decl_line 0x00000003 DW_AT_data_member_location 4 DW_TAG_member DW_AT_name "k"DW_AT_type DW_AT_decl_file 0x00000001 test.cpp DW_AT_decl_line 0x00000004 DW_AT_data_member_location 8 DW_TAG_member DW_AT_name "next"DW_AT_type DW_AT_decl_file 0x00000001 test.cpp DW_AT_decl_line 0x00000005 DW_AT_data_member_location 176(as signed = -80)
每個成員都有一個名稱、一個類型（它是一個 DIE 偏移量）、一個聲明文件和行，以及一個指向其成員所在的結構體的字節偏移。其類型指向如下。
DW_TAG_base_type DW_AT_name "int"DW_AT_encoding DW_ATE_signed DW_AT_byte_size 0x00000004 DW_TAG_base_type DW_AT_name "float"DW_AT_encoding DW_ATE_float DW_AT_byte_size 0x00000004 DW_TAG_array_type DW_AT_type DW_TAG_subrange_type DW_AT_type DW_AT_count 0x0000002a DW_TAG_base_type DW_AT_name "sizetype"DW_AT_byte_size 0x00000008 DW_AT_encoding DW_ATE_unsigned DW_TAG_pointer_type DW_AT_type
如你所見，我筆記本電腦上的 int 是一個 4 字節的有符號整數類型，float是一個 4 字節的浮點數。整數數組類型通過指向 int 類型作為其元素類型，sizetype（可以認為是 size_t）作為索引類型，它具有 2a 個元素。 test * 類型是 DW_TAG_pointer_type，它引用 test DIE。
如上所述，libelfin 將為我們處理大部分復雜性。但是，它并沒有實現用于表示可變位置的所有方法，并且在我們的代碼中處理這些將變得非常復雜。因此，我現在選擇只支持 exprloc。請根據需要添加對更多類型表達式的支持。如果你真的有勇氣，請提交補丁到 libelfin 中來幫助完成必要的支持！
處理變量主要是將不同部分定位在存儲器或寄存器中，讀取或寫入與之前一樣。為了簡單起見，我只會告訴你如何實現讀取。
首先我們需要告訴 libelfin 如何從我們的進程中讀取寄存器。我們創建一個繼承自 expr_context 的類并使用 ptrace 來處理所有內容：
class ptrace_expr_context : public dwarf::expr_context {
public:
ptrace_expr_context (pid_t pid) : m_pid{pid} {}
dwarf::taddr reg (unsigned regnum) override {return get_register_value_from_dwarf_register(m_pid, regnum);
}
dwarf::taddr pc() override {
struct user_regs_struct regs;
ptrace(PTRACE_GETREGS, m_pid, nullptr, ®s);return regs.rip;
}
dwarf::taddr deref_size (dwarf::taddr address, unsigned size) override {
//TODO take into account sizereturn ptrace(PTRACE_PEEKDATA, m_pid, address, nullptr);
}
private:
pid_t m_pid;
};讀取將由我們 debugger 類中的 read_variables 函數處理：
void debugger::read_variables() {
using namespace dwarf;
auto func = get_function_from_pc(get_pc());
//...
}我們上面做的第一件事是找到我們目前進入的函數，然后我們需要循環訪問該函數中的條目來尋找變量：
for (const auto& die : func) {if (die.tag == DW_TAG::variable) {
//...
}
}我們通過查找 DIE 中的 DW_AT_location 條目獲取位置信息：
auto loc_val = die[DW_AT::location];
接著我們確保它是一個 exprloc，并請求 libelfin 來評估我們的表達式：
if (loc_val.get_type() == value::type::exprloc) {ptrace_expr_context context {m_pid};auto result = loc_val.as_exprloc().evaluate(&context);現在我們已經評估了表達式，我們需要讀取變量的內容。它可以在內存或寄存器中，因此我們將處理這兩種情況：
switch (result.location_type) {case expr_result::type::address:
{
auto value = read_memory(result.value);
std::cout " (0x" ") = "
break;
}case expr_result::type::reg:
{
auto value = get_register_value_from_dwarf_register(m_pid, result.value);
std::cout " (reg " ") = "
break;
}
default:
throw std::runtime_error{"Unhandled variable location"};
}你可以看到，我根據變量的類型，打印輸出了值而沒有解釋。希望通過這個代碼，你可以看到如何支持編寫變量，或者用給定的名字搜索變量。
最后我們可以將它添加到我們的命令解析器中：
else if(is_prefix(command, "variables")) {
read_variables();
}編寫一些具有一些變量的小功能，不用優化并帶有調試信息編譯它，然后查看是否可以讀取變量的值。嘗試寫入存儲變量的內存地址，并查看程序改變的行為。
感謝各位的閱讀，以上就是“Linux調試器中處理變量的過程是什么”的內容了，經過本文的學習后，相信大家對Linux調試器中處理變量的過程是什么這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是億速云，小編將為大家推送更多相關知識點的文章，歡迎關注！
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
