radare2/test/unit/test_dwarf.c

1458 lines
29 KiB
C

#include <r_util.h>
#include "minunit.h"
#include <r_bin.h>
#include <r_core.h>
#include <r_bin_dwarf.h>
#define MODE 2
// Global test context to prevent leaks on early returns
static RBin *bin = NULL;
static RIO *io = NULL;
static bool setup(void) {
bin = r_bin_new ();
io = r_io_new ();
if (!bin || !io) {
r_bin_free (bin);
r_io_free (io);
return false;
}
r_io_bind (io, &bin->iob);
return true;
}
static bool teardown(void) {
r_bin_free (bin);
r_io_free (io);
bin = NULL;
io = NULL;
return true;
}
// Helper macros for accessing abbreviation declarations with better error messages
#define ABBREV_DECL(idx) (RVecDwarfAbbrevDecl_at(da, idx))
#define ABBREV_ATTR_DEF(decl, attr_idx) (RVecDwarfAttrDef_at((decl)->defs, attr_idx))
// Improved check macros with clear naming and better assertions
#define check_abbrev_code(expected_code) do { \
RBinDwarfAbbrevDecl *decl = ABBREV_DECL(i); \
mu_assert_notnull(decl, "Abbrev declaration at index is NULL"); \
mu_assert_eq(decl->code, expected_code, "Wrong abbrev code"); \
} while (0)
#define check_abbrev_tag(expected_tag) do { \
RBinDwarfAbbrevDecl *decl = ABBREV_DECL(i); \
mu_assert_notnull(decl, "Abbrev declaration at index is NULL"); \
mu_assert_eq(decl->tag, expected_tag, "Incorrect abbreviation tag"); \
} while (0)
#define check_abbrev_count(expected_count) do { \
RBinDwarfAbbrevDecl *decl = ABBREV_DECL(i); \
mu_assert_notnull(decl, "Abbrev declaration at index is NULL"); \
mu_assert_notnull(decl->defs, "Attribute definitions vector is NULL"); \
ut64 count = RVecDwarfAttrDef_length(decl->defs); \
mu_assert_eq(count, expected_count, "Incorrect abbreviation count"); \
} while (0)
#define check_abbrev_children(expected_children) do { \
RBinDwarfAbbrevDecl *decl = ABBREV_DECL(i); \
mu_assert_notnull(decl, "Abbrev declaration at index is NULL"); \
mu_assert_eq(decl->has_children, expected_children, "Incorrect children flag"); \
} while (0)
#define check_abbrev_attr_name(expected_name) do { \
RBinDwarfAbbrevDecl *decl = ABBREV_DECL(i); \
mu_assert_notnull(decl, "Abbrev declaration at index is NULL"); \
mu_assert_notnull(decl->defs, "Attribute definitions vector is NULL"); \
RBinDwarfAttrDef *attr = ABBREV_ATTR_DEF(decl, j); \
mu_assert_notnull(attr, "Attribute definition is NULL"); \
mu_assert_eq(attr->attr_name, expected_name, "Incorrect attribute name"); \
} while (0)
#define check_abbrev_attr_form(expected_form) do { \
RBinDwarfAbbrevDecl *decl = ABBREV_DECL(i); \
mu_assert_notnull(decl, "Abbrev declaration at index is NULL"); \
mu_assert_notnull(decl->defs, "Attribute definitions vector is NULL"); \
RBinDwarfAttrDef *attr = ABBREV_ATTR_DEF(decl, j); \
mu_assert_notnull(attr, "Attribute definition is NULL"); \
mu_assert_eq(attr->attr_form, expected_form, "Incorrect attribute form"); \
} while (0)
/**
* @brief Comparator to sort list of line statements by address(collection of DbgItem)
*/
int row_comparator(const void *a, const void *b){
const RBinAddrline *left = a;
const RBinAddrline *right = b;
return (left->addr >= right->addr) ? 1 : -1;
}
int int_compare(const void *a, const void *b){
const int *left = a;
const int *right = b;
return (*left >= *right) ? 1 : -1;
}
/**
* @brief Tests correct parsing of abbreviations and line information of DWARF3 C binary
*/
static bool test_dwarf3_c_basic(void) { // this should work for dwarf2 as well
RBinFileOptions opt = {0};
bool res = r_bin_open (bin, "bins/elf/dwarf3_c.elf", &opt);
mu_assert ("couldn't open file", res);
RBinFile *bf = r_bin_cur (bin);
mu_assert_notnull (bf, "Failed to get current bin file");
RVecDwarfAbbrevDecl *da = r_bin_dwarf_parse_abbrev (bf, MODE);
mu_assert_notnull (da, "Failed to parse abbreviations");
mu_assert_eq (RVecDwarfAbbrevDecl_length(da), 7, "Incorrect number of abbreviations");
// order matters
// I nest scopes to make it more readable, (hopefully)
int i = 0;
check_abbrev_tag (DW_TAG_compile_unit);
{
check_abbrev_children (true);
check_abbrev_count (8);
{
int j = 0;
check_abbrev_attr_name (DW_AT_producer);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_language);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_name);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_comp_dir);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_low_pc);
check_abbrev_attr_form (DW_FORM_addr);
j++;
check_abbrev_attr_name (DW_AT_high_pc);
check_abbrev_attr_form (DW_FORM_addr);
j++;
check_abbrev_attr_name (DW_AT_stmt_list);
check_abbrev_attr_form (DW_FORM_data4);
}
}
i++;
check_abbrev_tag (DW_TAG_variable);
{
check_abbrev_count (8);
check_abbrev_children (false);
}
i++;
check_abbrev_tag (DW_TAG_base_type);
{
check_abbrev_count (4);
check_abbrev_children (false);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_count (12);
check_abbrev_children (true);
}
i++;
check_abbrev_tag (DW_TAG_variable);
{
check_abbrev_count (7);
check_abbrev_children (false);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_count (10);
check_abbrev_children (true);
}
i++;
check_abbrev_tag (DW_TAG_variable);
{
check_abbrev_count (6);
check_abbrev_children (false);
}
i++;
RList *line_list = r_bin_dwarf_parse_line (bf, MODE);
mu_assert_eq (r_list_length (line_list), 8, "Amount of line information parse doesn't match");
RBinAddrline *row;
RListIter *iter;
// sort it so it can be more consistently tested?
// we could also sort it in the `id` output like readelf does
r_list_sort (line_list, row_comparator);
const int test_addresses[] = {
0x1129,
0x1131,
0x1134,
0x1140,
0x114a,
0x1151,
0x1154,
0x1156
};
i = 0;
r_list_foreach (line_list, iter, row) {
mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
}
r_list_free (line_list);
RVecDwarfAbbrevDecl_free (da);
mu_end;
}
/**
* @brief Tests correct parsing of abbreviations and line information of DWARF3 C++ binary
*/
static bool test_dwarf3_cpp_basic(void) { // this should work for dwarf2 as well
RBinFileOptions opt = {0};
bool res = r_bin_open (bin, "bins/elf/dwarf3_cpp.elf", &opt);
mu_assert ("couldn't open file", res);
RBinFile *bf = r_bin_cur (bin);
mu_assert_notnull (bf, "Failed to get current bin file");
RVecDwarfAbbrevDecl *da = r_bin_dwarf_parse_abbrev (bf, MODE);
mu_assert_notnull (da, "Failed to parse abbreviations");
mu_assert_eq (RVecDwarfAbbrevDecl_length(da), 32, "Incorrect number of abbreviations");
// order matters
// I nest scopes to make it more readable, (hopefully)
int i = 0;
check_abbrev_tag (DW_TAG_compile_unit);
{
check_abbrev_children (true);
check_abbrev_count (9);
{
/**
* Everything commented out is something that is missing from being printed by `id` Radare
*/
int j = 0;
check_abbrev_attr_name (DW_AT_producer);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_language);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_name);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_comp_dir);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_ranges);
check_abbrev_attr_form (DW_FORM_data4);
j++;
check_abbrev_attr_name (DW_AT_low_pc);
check_abbrev_attr_form (DW_FORM_addr);
j++;
check_abbrev_attr_name (DW_AT_entry_pc);
check_abbrev_attr_form (DW_FORM_addr);
j++;
check_abbrev_attr_name (DW_AT_stmt_list);
check_abbrev_attr_form (DW_FORM_data4);
// check_abbrev_attr_name (DW_AT value: 0);
// check_abbrev_attr_form (DW_AT value: 0);
}
}
i++;
check_abbrev_tag (DW_TAG_structure_type);
{
check_abbrev_children (true);
check_abbrev_count (8);
{
/**
* Everything commented out is something that is missing from being printed by `id` Radare
*/
int j = 0;
check_abbrev_attr_name (DW_AT_name);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_byte_size);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_decl_file);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_decl_line);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_decl_column);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_containing_type);
check_abbrev_attr_form (DW_FORM_ref4);
j++;
check_abbrev_attr_name (DW_AT_sibling);
check_abbrev_attr_form (DW_FORM_ref4);
// check_abbrev_attr_name (DW_AT value: 0);
// check_abbrev_attr_form (DW_AT value: 0);
}
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (8);
}
i++;
check_abbrev_tag (DW_TAG_formal_parameter);
{
check_abbrev_children (false);
check_abbrev_count (3);
}
i++;
check_abbrev_tag (DW_TAG_formal_parameter);
{
check_abbrev_children (false);
check_abbrev_count (2);
}
i++;
check_abbrev_tag (DW_TAG_member);
{
check_abbrev_children (false);
check_abbrev_count (5);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (10);
}
i++;
// 8
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (12);
{
int j = 0;
check_abbrev_attr_name (DW_AT_external);
check_abbrev_attr_form (DW_FORM_flag);
j++;
check_abbrev_attr_name (DW_AT_name);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_decl_file);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_decl_line);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_decl_column);
check_abbrev_attr_form (DW_FORM_data1);
j++;
// check_abbrev_attr_name (DW_AT_MIPS_linkage_name);
check_abbrev_attr_form (DW_FORM_strp);
j++;
check_abbrev_attr_name (DW_AT_virtuality);
check_abbrev_attr_form (DW_FORM_data1);
j++;
check_abbrev_attr_name (DW_AT_containing_type);
check_abbrev_attr_form (DW_FORM_ref4);
j++;
check_abbrev_attr_name (DW_AT_declaration);
check_abbrev_attr_form (DW_FORM_flag);
j++;
check_abbrev_attr_name (DW_AT_object_pointer);
check_abbrev_attr_form (DW_FORM_ref4);
j++;
check_abbrev_attr_name (DW_AT_sibling);
check_abbrev_attr_form (DW_FORM_ref4);
}
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (13);
}
i++;
check_abbrev_tag (DW_TAG_const_type);
{
check_abbrev_children (false);
check_abbrev_count (2);
}
i++;
check_abbrev_tag (DW_TAG_pointer_type);
{
check_abbrev_children (false);
check_abbrev_count (3);
}
i++;
check_abbrev_tag (DW_TAG_reference_type);
{
check_abbrev_children (false);
check_abbrev_count (3);
}
i++;
check_abbrev_tag (DW_TAG_subroutine_type);
{
check_abbrev_children (true);
check_abbrev_count (3);
}
i++;
check_abbrev_tag (DW_TAG_unspecified_parameters);
{
check_abbrev_children (false);
check_abbrev_count (1);
}
i++;
check_abbrev_tag (DW_TAG_base_type);
{
check_abbrev_children (false);
check_abbrev_count (4);
}
i++;
check_abbrev_tag (DW_TAG_pointer_type);
{
check_abbrev_children (false);
check_abbrev_count (4);
}
i++;
check_abbrev_tag (DW_TAG_structure_type);
{
check_abbrev_children (true);
check_abbrev_count (8);
}
i++;
check_abbrev_tag (DW_TAG_inheritance);
{
check_abbrev_children (false);
check_abbrev_count (3);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (8);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (10);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (13);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (12);
}
i++;
check_abbrev_tag (DW_TAG_variable);
{
check_abbrev_children (false);
check_abbrev_count (7);
}
i++;
check_abbrev_tag (DW_TAG_variable);
{
check_abbrev_children (false);
check_abbrev_count (7);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (8);
}
i++;
check_abbrev_tag (DW_TAG_formal_parameter);
{
check_abbrev_children (false);
check_abbrev_count (5);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (5);
}
i++;
check_abbrev_tag (DW_TAG_formal_parameter);
{
check_abbrev_children (false);
check_abbrev_count (4);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (9);
}
i++;
check_abbrev_tag (DW_TAG_formal_parameter);
{
check_abbrev_children (false);
check_abbrev_count (3);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (9);
}
i++;
check_abbrev_tag (DW_TAG_subprogram);
{
check_abbrev_children (true);
check_abbrev_count (8);
}
RList *line_list = r_bin_dwarf_parse_line (bf, MODE);
mu_assert_eq (r_list_length (line_list), 60, "Amount of line information parse doesn't match");
RBinAddrline *row;
RListIter *iter;
// sort it so it can be more consistently tested?
// we could also sort it in the `id` output like readelf does
r_list_sort (line_list, row_comparator);
int test_addresses[] = {
0x000011ee,
0x000011fa,
0x00001208,
0x0000120b,
0x0000120c,
0x00001218,
0x00001226,
0x00001229,
0x0000122a,
0x0000123a,
0x00001259,
0x0000125a,
0x00001266,
0x0000126b,
0x0000126d,
0x0000126e,
0x0000127e,
0x00001298,
0x0000129b,
0x0000129c,
0x000012ac,
0x000012c6,
0x000012c9,
0x000012ca,
0x000012da,
0x000012f9,
0x000012fa,
0x00001306,
0x0000130b,
0x0000130d,
0x0000130e,
0x0000131a,
0x00001328,
0x0000132b,
0x0000132c,
0x00001338,
0x00001346,
0x00001349,
0x0000134a,
0x0000135a,
0x00001379,
0x0000137a,
0x00001386,
0x0000138b,
0x0000138d,
0x00001169,
0x00001176,
0x0000118b,
0x0000118f,
0x000011a4,
0x000011a8,
0x000011af,
0x000011bd,
0x000011c6,
0x000011c9,
0x000011d7,
0x000011e0,
0x000011e3,
0x000011e6,
0x000011ed,
};
qsort (test_addresses, 60, sizeof (int), int_compare);
i = 0;
r_list_foreach (line_list, iter, row) {
mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
}
r_list_free (line_list);
RVecDwarfAbbrevDecl_free (da);
mu_end;
}
static bool test_dwarf3_cpp_many_comp_units(void) {
RBinFileOptions opt = {0};
bool res = r_bin_open (bin, "bins/elf/dwarf3_many_comp_units.elf", &opt);
mu_assert ("couldn't open file", res);
RBinFile *bf = r_bin_cur (bin);
mu_assert_notnull (bf, "Failed to get current bin file");
RVecDwarfAbbrevDecl *da = r_bin_dwarf_parse_abbrev (bf, MODE);
mu_assert_notnull (da, "Failed to parse abbreviations");
mu_assert_eq (RVecDwarfAbbrevDecl_length(da), 58, "Incorrect number of abbreviations");
int i = 18;
check_abbrev_tag (DW_TAG_formal_parameter);
check_abbrev_count (5);
check_abbrev_children (false);
check_abbrev_code (19);
i = 41;
check_abbrev_tag (DW_TAG_inheritance);
check_abbrev_count (3);
check_abbrev_children (false);
check_abbrev_code (18);
RList *line_list = r_bin_dwarf_parse_line (bf, MODE);
mu_assert_eq (r_list_length (line_list), 67, "Amount of line information parse doesn't match");
RBinAddrline *row;
RListIter *iter;
// sort it so it can be more consistently tested?
// we could also sort it in the `id` output like readelf does
r_list_sort (line_list, row_comparator);
int test_addresses[] = {
0x0000118a,
0x00001196,
0x000011a4,
0x000011a8,
0x000011b8,
0x000011d8,
0x000011e4,
0x000011e9,
0x000011eb,
0x000011f7,
0x00001206,
0x00001212,
0x00001228,
0x00001228,
0x00001234,
0x00001239,
0x0000123b,
0x0000123b,
0x00001248,
0x0000125d,
0x00001261,
0x00001276,
0x0000127a,
0x00001281,
0x0000128f,
0x00001298,
0x0000129b,
0x000012a9,
0x000012b2,
0x000012b5,
0x000012ba,
0x000012bf,
0x000012c6,
0x000012c6,
0x000012d2,
0x000012e0,
0x000012e3,
0x000012e4,
0x000012f4,
0x0000130e,
0x00001311,
0x00001312,
0x00001322,
0x0000133c,
0x0000133f,
0x00001340,
0x00001350,
0x0000136f,
0x00001370,
0x0000137c,
0x00001381,
0x00001383,
0x00001384,
0x00001390,
0x0000139e,
0x000013a1,
0x000013a2,
0x000013ae,
0x000013bc,
0x000013bf,
0x000013c0,
0x000013d0,
0x000013ef,
0x000013f0,
0x000013fc,
0x00001401,
0x00001403,
};
// qsort(test_addresses, 64, sizeof(int), int_compare); // already sorted
#if 0
printf (" const int test_addresses[] = {\n");
r_list_foreach (line_list, iter, row) {
printf ("\t0x%08x,\n", row->addr);
// mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
i++;
}
printf ("}\n");
#endif
i = 0;
r_list_foreach (line_list, iter, row) {
mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
}
r_list_free (line_list);
RVecDwarfAbbrevDecl_free (da);
mu_end;
}
static bool test_dwarf_cpp_empty_line_info(void) { // this should work for dwarf2 as well
RBinFileOptions opt = {0};
bool res = r_bin_open (bin, "bins/pe/hello_world_not_stripped.exe", &opt);
mu_assert ("couldn't open file", res);
RBinFile *bf = r_bin_cur (bin);
mu_assert_notnull (bf, "Failed to get current bin file");
RVecDwarfAbbrevDecl *da = r_bin_dwarf_parse_abbrev (bf, MODE);
mu_assert_notnull (da, "Failed to parse abbreviations");
// not ignoring null entries -> 755 abbrevs
mu_assert_eq (RVecDwarfAbbrevDecl_length(da), 731, "Incorrect number of abbreviations");
RList *line_list = r_bin_dwarf_parse_line (bf, MODE);
mu_assert_eq (r_list_length (line_list), 1159, "Amount of line information parse doesn't match");
RBinAddrline *row;
RListIter *iter;
// sort it so it can be more consistently tested?
r_list_sort (line_list, row_comparator);
const int test_addresses[] = {
0x00401000,
0x00401000,
0x00401010,
0x00401010,
0x00401010,
0x00401010,
0x00401010,
0x00401010,
0x00401010,
0x00401010,
0x00401013,
0x00401015,
0x0040101e,
0x00401028,
0x00401032,
0x0040103c,
0x00401046,
0x00401046,
0x00401046,
0x00401048,
0x0040104e,
0x00401058,
0x0040105e,
0x00401060,
};
int i = 0;
r_list_foreach (line_list, iter, row) {
mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
if (i == 23) {
break;
}
}
r_list_free (line_list);
RVecDwarfAbbrevDecl_free (da);
mu_end;
}
bool test_dwarf2_cpp_many_comp_units(void) {
RBinFileOptions opt = {0};
bool res = r_bin_open (bin, "bins/elf/dwarf2_many_comp_units.elf", &opt);
mu_assert ("couldn't open file", res);
RBinFile *bf = r_bin_cur (bin);
mu_assert_notnull (bf, "Failed to get current bin file");
RVecDwarfAbbrevDecl *da = r_bin_dwarf_parse_abbrev (bf, MODE);
mu_assert_notnull (da, "Failed to parse abbreviations");
mu_assert_eq (RVecDwarfAbbrevDecl_length(da), 58, "Incorrect number of abbreviations");
int i = 18;
check_abbrev_tag (DW_TAG_formal_parameter);
check_abbrev_count (5);
check_abbrev_children (false);
check_abbrev_code (19);
i = 41;
check_abbrev_tag (DW_TAG_inheritance);
check_abbrev_count (4);
check_abbrev_children (false);
check_abbrev_code (18);
RList *line_list = r_bin_dwarf_parse_line (bf, MODE);
mu_assert_eq (r_list_length (line_list), 67, "Amount of line information parse doesn't match");
RBinAddrline *row;
RListIter *iter;
r_list_sort (line_list, row_comparator);
const int test_addresses[] = {
0x0000118a,
0x00001196,
0x000011a4,
0x000011a8,
0x000011b8,
0x000011d8,
0x000011e4,
0x000011e9,
0x000011eb,
0x000011f7,
0x00001206,
0x00001212,
0x00001228,
0x00001228,
0x00001234,
0x00001239,
0x0000123b,
0x0000123b,
0x00001248,
0x0000125d,
0x00001261,
0x00001276,
0x0000127a,
0x00001281,
0x0000128f,
0x00001298,
0x0000129b,
0x000012a9,
0x000012b2,
0x000012b5,
0x000012ba,
0x000012bf,
0x000012c6,
0x000012c6,
0x000012d2,
0x000012e0,
0x000012e3,
0x000012e4,
0x000012f4,
0x0000130e,
0x00001311,
0x00001312,
0x00001322,
0x0000133c,
0x0000133f,
0x00001340,
0x00001350,
0x0000136f,
0x00001370,
0x0000137c,
0x00001381,
0x00001383,
0x00001384,
0x00001390,
0x0000139e,
0x000013a1,
0x000013a2,
0x000013ae,
0x000013bc,
0x000013bf,
0x000013c0,
0x000013d0,
0x000013ef,
0x000013f0,
0x000013fc,
0x00001401,
0x00001403,
};
i = 0;
#if 0
printf (" const int test_addresses[] = {\n");
r_list_foreach (line_list, iter, row) {
printf ("\t0x%08x,\n", row->addr);
// mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
}
printf ("}\n");
#endif
i = 0;
r_list_foreach (line_list, iter, row) {
mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
}
// add line information check
r_list_free (line_list);
RVecDwarfAbbrevDecl_free (da);
mu_end;
}
bool test_dwarf4_cpp_many_comp_units(void) {
RBinFileOptions opt = {0};
bool res = r_bin_open (bin, "bins/elf/dwarf4_many_comp_units.elf", &opt);
mu_assert ("couldn't open file", res);
RBinFile *bf = r_bin_cur (bin);
mu_assert_notnull (bf, "Failed to get current bin file");
RList *line_list = r_bin_dwarf_parse_line (bf, MODE);
mu_assert_eq (r_list_length (line_list), 75, "Amount of line information parse doesn't match");
RBinAddrline *row;
RListIter *iter;
r_list_sort (line_list, row_comparator);
const int test_addresses[] = {
0x00401160,
0x00401174,
0x0040117f,
0x00401194,
0x00401198,
0x004011a1,
0x004011ac,
0x004011c1,
0x004011c5,
0x004011c9,
0x004011d0,
0x004011d4,
0x004011dd,
0x004011e3,
0x004011e7,
0x004011f0,
0x004011f6,
0x004011fc,
0x00401204,
0x00401206,
0x0040120e,
0x00401219,
0x00401223,
0x0040122e,
0x00401233,
0x0040123c,
0x00401240,
0x0040125c,
0x0040125f,
0x00401261,
0x00401270,
0x00401280,
0x00401283,
0x004012a3,
0x004012a6,
0x004012ac,
0x004012b0,
0x004012b8,
0x004012ba,
0x004012c0,
0x004012d0,
0x004012e8,
0x004012ee,
0x004012f0,
0x004012f8,
0x004012ff,
0x00401300,
0x0040131c,
0x0040131f,
0x00401321,
0x00401330,
0x00401340,
0x00401348,
0x0040134e,
0x00401350,
0x00401360,
0x00401378,
0x0040137e,
0x00401380,
0x00401388,
0x0040138f,
0x00401390,
0x00401398,
0x004013a0,
0x004013b0,
0x004013c8,
0x004013d0,
0x004013d8,
0x004013e0,
0x004013e8,
0x004013f1,
0x004013f7,
0x00401400,
0x00401408,
0x0040140f,
};
int i = 0;
r_list_foreach (line_list, iter, row) {
mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
}
r_list_free (line_list);
mu_end;
}
bool test_big_endian_dwarf2(void) {
RBinFileOptions opt = {0};
bool res = r_bin_open (bin, "bins/elf/ppc64_sudoku_dwarf", &opt);
mu_assert ("couldn't open file", res);
RBinFile *bf = r_bin_cur (bin);
mu_assert_notnull (bf, "Failed to get current bin file");
RList *line_list = r_bin_dwarf_parse_line (bf, MODE);
mu_assert_eq (r_list_length (line_list), 395, "Amount of line information parse doesn't match");
RBinAddrline *row;
RListIter *iter;
r_list_sort (line_list, row_comparator);
const int test_addresses[] = {
0x10000ec4,
0x10000f18,
0x10000f28,
0x10000f2c,
0x10000f30,
0x10000f34,
0x10000f38,
0x10000f44,
0x10000f44,
0x10000f44,
0x10000f5c,
0x10000f60,
0x10000f60,
0x10000f60,
0x10000f78,
0x10000f80,
0x10000f90,
0x10000f98,
0x10000fa0,
0x10000fa0,
0x10000fa4,
0x10000fb4,
0x10000fc0,
0x10000fcc,
0x10000fcc,
0x10000fcc,
0x10000fe4,
0x10000fe4,
0x10000fe4,
0x10000ffc,
0x10001008,
0x10001014,
0x10001014,
0x10001014,
0x1000102c,
0x10001030,
0x1000103c,
0x10001048,
0x10001048,
0x10001048,
0x10001060,
0x10001074,
0x10001080,
0x1000108c,
0x1000108c,
0x1000108c,
0x100010a4,
0x100010a8,
0x100010a8,
0x100010a8,
0x100010c0,
0x100010c4,
0x100010c4,
0x100010c4,
0x100010dc,
0x100010e0,
0x100010e0,
0x100010e0,
0x100010f8,
0x100010fc,
0x100010fc,
0x10001108,
0x10001114,
0x1000111c,
0x10001128,
0x1000112c,
0x1000113c,
0x10001144,
0x10001154,
0x1000115c,
0x1000115c,
0x10001164,
0x10001178,
0x10001178,
0x1000117c,
0x10001180,
0x100011ac,
0x100011b4,
0x100011c0,
0x100011c4,
0x100011e0,
0x100011e4,
0x100011e4,
0x100011f0,
0x100011fc,
0x10001204,
0x10001210,
0x10001214,
0x10001224,
0x1000122c,
0x10001230,
0x10001238,
0x10001244,
0x10001248,
0x10001264,
0x10001268,
0x100012bc,
0x100012bc,
0x100012bc,
0x100012c4,
0x100012c8,
0x100012d4,
0x100012d8,
0x100012e0,
0x100012ec,
0x100012f4,
0x100012f8,
0x10001308,
0x10001314,
0x10001334,
0x10001334,
0x10001334,
0x10001338,
0x10001348,
0x10001350,
0x1000136c,
0x10001374,
0x10001374,
0x10001374,
0x10001378,
0x10001388,
0x10001390,
0x100013a8,
0x100013a8,
0x100013a8,
0x100013ac,
0x100013ac,
0x100013b4,
0x100013bc,
0x100013bc,
0x100013bc,
0x100013c0,
0x100013d0,
0x100013d8,
0x100013e8,
0x100013e8,
0x100013e8,
0x100013ec,
0x100013fc,
0x10001404,
0x10001420,
0x10001420,
0x10001420,
0x10001420,
0x10001420,
0x10001430,
0x10001440,
0x10001444,
0x10001450,
0x1000145c,
0x1000145c,
0x10001460,
0x10001474,
0x10001474,
0x10001474,
0x10001474,
0x10001474,
0x10001480,
0x10001490,
0x10001498,
0x100014a4,
0x100014b0,
0x100014b0,
0x100014b4,
0x100014c8,
0x100014cc,
0x100014cc,
0x100014cc,
0x100014cc,
0x100014d0,
0x100014d8,
0x100014dc,
0x100014ec,
0x100014f4,
0x10001500,
0x1000150c,
0x1000150c,
0x1000150c,
0x10001514,
0x10001514,
0x10001528,
0x10001528,
0x10001534,
0x10001534,
0x10001540,
0x1000154c,
0x10001550,
0x10001560,
0x10001568,
0x10001574,
0x10001580,
0x10001580,
0x10001580,
0x10001588,
0x10001588,
0x1000159c,
0x1000159c,
0x100015a8,
0x100015a8,
0x100015b4,
0x100015c0,
0x100015c4,
0x100015c8,
0x100015dc,
0x100015e8,
0x100015f4,
0x100015f4,
0x100015f4,
0x100015fc,
0x100015fc,
0x10001610,
0x10001610,
0x1000161c,
0x1000161c,
0x10001628,
0x10001634,
0x10001638,
0x10001640,
0x10001644,
0x10001654,
0x1000165c,
0x10001668,
0x10001674,
0x10001674,
0x10001674,
0x1000167c,
0x1000167c,
0x10001690,
0x10001690,
0x1000169c,
0x1000169c,
0x100016a8,
0x100016b4,
0x100016b8,
0x100016c8,
0x100016d0,
0x100016dc,
0x100016e8,
0x100016e8,
0x100016e8,
0x100016f0,
0x100016f0,
0x10001704,
0x10001704,
0x10001710,
0x10001710,
0x1000171c,
0x10001728,
0x1000172c,
0x10001730,
0x10001744,
0x10001750,
0x1000175c,
0x1000175c,
0x1000175c,
0x10001764,
0x10001764,
0x10001778,
0x10001778,
0x10001784,
0x10001784,
0x10001790,
0x1000179c,
0x100017a0,
0x100017a4,
0x100017ac,
0x100017b0,
0x100017c4,
0x100017d0,
0x100017dc,
0x100017dc,
0x100017dc,
0x100017e4,
0x100017e4,
0x100017f8,
0x100017f8,
0x10001804,
0x10001804,
0x10001810,
0x1000181c,
0x10001820,
0x10001830,
0x10001838,
0x10001844,
0x10001850,
0x10001850,
0x10001850,
0x10001858,
0x10001858,
0x1000186c,
0x1000186c,
0x10001878,
0x10001878,
0x10001884,
0x10001890,
0x10001894,
0x10001898,
0x100018ac,
0x100018b8,
0x100018c4,
0x100018c4,
0x100018c4,
0x100018cc,
0x100018cc,
0x100018e0,
0x100018e0,
0x100018ec,
0x100018ec,
0x100018f8,
0x10001904,
0x1000190c,
0x1000190c,
0x1000191c,
0x1000194c,
0x10001954,
0x1000195c,
0x10001960,
0x10001964,
0x10001974,
0x10001978,
0x10001984,
0x1000198c,
0x10001998,
0x100019a0,
0x100019ac,
0x100019b4,
0x100019c4,
0x100019cc,
0x100019cc,
0x100019f4,
0x10001a0c,
0x10001a0c,
0x10001a0c,
0x10001a10,
0x10001a1c,
0x10001a30,
0x10001a30,
0x10001a30,
0x10001a34,
0x10001a40,
0x10001a54,
0x10001a54,
0x10001a54,
0x10001a54,
0x10001a58,
0x10001a64,
0x10001a6c,
0x10001a6c,
0x10001a7c,
0x10001a7c,
0x10001a7c,
0x10001a7c,
0x10001a80,
0x10001a8c,
0x10001a94,
0x10001a94,
0x10001aa4,
0x10001aa4,
0x10001aa4,
0x10001aa8,
0x10001ab4,
0x10001ac8,
0x10001ae4,
0x10001ae4,
0x10001ae4,
0x10001ae4,
0x10001aec,
0x10001af8,
0x10001b04,
0x10001b10,
0x10001b28,
0x10001b3c,
0x10001b44,
0x10001b44,
0x10001b44,
0x10001b50,
0x10001b54,
0x10001b68,
0x10001b68,
0x10001b68,
0x10001b6c,
0x10001b78,
0x10001b78,
0x10001b78,
0x10001b7c,
0x10001b88,
0x10001b94,
0x10001ba0,
0x10001bb4,
0x10001bb8,
0x10001bb8,
0x10001be0,
0x10001bf8,
0x10001c28,
0x10001c48,
};
int i = 0;
r_list_foreach (line_list, iter, row) {
mu_assert_eq (row->addr, test_addresses[i++], "Line number statement address doesn't match");
}
r_list_free (line_list);
mu_end;
}
#define run_test_with_setup(test_func) do { \
if (!setup()) { \
printf("Setup failed for " #test_func "\n"); \
return 1; \
} \
mu_run_test(test_func); \
teardown(); \
} while (0)
bool all_tests(void) {
run_test_with_setup(test_dwarf_cpp_empty_line_info);
run_test_with_setup(test_dwarf2_cpp_many_comp_units);
run_test_with_setup(test_dwarf3_c_basic);
run_test_with_setup(test_dwarf3_cpp_basic);
run_test_with_setup(test_dwarf3_cpp_many_comp_units);
run_test_with_setup(test_dwarf4_cpp_many_comp_units);
run_test_with_setup(test_big_endian_dwarf2);
return tests_passed != tests_run;
}
int main(int argc, char **argv) {
return all_tests();
}