文字列または配列の長さをDWARFから派生させる方法は？

Question

GCCでコンパイルした後、DWARFから "teststr"変数と "testarray"変数の長さを派生させることは可能ですか？

void func(char *str1, char *str2){ 
    ... 
    ... 
    return; 
} 

int main(void){ 
    char *teststr = "123456"; 
    char testarray[6] = "123456"; 

    func(teststr, testarray);  
    .... 
    .... 

    return 0; 
} 

Answer 1

DWARFは、ソースプログラムについてコンパイラが知っていることを表すものです。したがって、この質問に対する一般的な答えは、ソースで「ローカル」のサイズを見つけることができれば、そうです。そうでなければいいえ。

この場合、プログラムから...を削除してコンパイルすると、readelfを使用して直接DWARFを読み取ることができます。

はここmainでtestarrayは次のようになります。

<2><5c>: Abbrev Number: 3 (DW_TAG_variable) 
    <5d> DW_AT_name  : (indirect string, offset: 0x5): testarray 
    <61> DW_AT_decl_file : 1 
    <62> DW_AT_decl_line : 7 
    <63> DW_AT_type  : <0x7f> 
    <67> DW_AT_location : 2 byte block: 91 60 (DW_OP_fbreg: -32) 
... 
<1><7f>: Abbrev Number: 7 (DW_TAG_array_type) 
    <80> DW_AT_type  : <0x78> 
    <84> DW_AT_sibling  : <0x8f> 
<2><88>: Abbrev Number: 8 (DW_TAG_subrange_type) 
    <89> DW_AT_type  : <0x8f> 
    <8d> DW_AT_upper_bound : 5 
<2><8e>: Abbrev Number: 0 
<1><8f>: Abbrev Number: 6 (DW_TAG_base_type) 
    <90> DW_AT_byte_size : 8 
    <91> DW_AT_encoding : 7 (unsigned) 
    <92> DW_AT_name  : (indirect string, offset: 0x60): sizetype 

それは6つの文字の配列である、すなわち。したがって、この場合、長さを正確に知ることができます。 - 他の言葉で、長さが静的に知られていない

<2><4e>: Abbrev Number: 3 (DW_TAG_variable) 
    <4f> DW_AT_name  : (indirect string, offset: 0xf): teststr 
    <53> DW_AT_decl_file : 1 
    <54> DW_AT_decl_line : 6 
    <55> DW_AT_type  : <0x72> 
    <59> DW_AT_location : 2 byte block: 91 68 (DW_OP_fbreg: -24) 
... 
<1><72>: Abbrev Number: 5 (DW_TAG_pointer_type) 
    <73> DW_AT_byte_size : 8 
    <74> DW_AT_type  : <0x78> 
<1><78>: Abbrev Number: 6 (DW_TAG_base_type) 
    <79> DW_AT_byte_size : 1 
    <7a> DW_AT_encoding : 6 (signed char) 
    <7b> DW_AT_name  : (indirect string, offset: 0x7d): char 

これは、それだけでポインタに-文字でこう述べています。しかしteststrとfuncの変数

は、より多くのように見えます。 gdbのようなデバッガは、実行時に下位からメモリを読み出すことで、プログラムのように長さを見つけることができます。