在此C程序中,静态变量在内存中的位置如何变化?

时间:2018-10-03 21:13:05

标签: c debugging lldb

我当前正在调试一个程序(使用lldb),该程序使用静态变量来打开或关闭调试日志记录。奇怪的是,某些日志消息未显示(而其他则显示)。

最初在address of the variableidevicedebug.c#L232

上设置硬件断点:

但是,如果我进入一个不起作用的日志记录功能,不仅硬件断点没有命中,而且如果我打印静态变量的地址,则完全不同。

例如在这里调用:debug.c#L46debug_level的地址与最初在internal_set_debug_level中的地址不同(并且现在的值是0而不是1):{{3 }}

我误解了静态变量是如何工作的?二进制文件可以某种方式链接到相同代码的两个版本吗?我不确定如何进一步调试它。

编辑:以下是该代码的简要说明(为简洁起见):CLI实用程序,用于通过USB连接将GDB数据包命令发送到iOS设备:

idevicedebug.c#L322

int main(int argc, char *argv[])
{
    /* ... */
    int i;
    int debug_level = 0;
    /* ... */


    /* parse command line arguments */
    for (i = 1; i < argc; i++) {
        if (!strcmp(argv[i], "-d") || !strcmp(argv[i], "--debug")) {
            debug_level++;
            idevice_set_debug_level(debug_level); // <- local debug_level is 1
            continue;
        }
    }

    /* ... */

    /* set maximum packet size */
    debug_info("Setting maximum packet size..."); // <- this does not print to stdout

    /* ... */

debug.c#L87

/* ... */

#if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 199901L && !defined(STRIP_DEBUG_CODE)
#define debug_info(...) debug_info_real (__func__, __FILE__, __LINE__, __VA_ARGS__)
#elif defined(__GNUC__) && __GNUC__ >= 3 && !defined(STRIP_DEBUG_CODE)
#define debug_info(...) debug_info_real (__FUNCTION__, __FILE__, __LINE__, __VA_ARGS__)
#else
#define debug_info(...)
#endif

void debug_info_real(const char *func,
                                            const char *file,
                                            int line,
                                            const char *format, ...);

/* ... */

void internal_set_debug_level(int level);

#endif

idevicedebug.c

/* ... */

static int debug_level;

void internal_set_debug_level(int level)
{
    debug_level = level; // <- static debug_level set to 1
}

/* ... */

void debug_info_real(const char *func, const char *file, int line, const char *format, ...)
{
#ifndef STRIP_DEBUG_CODE
    va_list args;
    char *buffer = NULL;

    if (!debug_level) // <- this is 0 despite being set previously
        return;       // breakpoint in internal_set_debug_level shows
                      // debug_level at 0x00000001000b75fc (== 1), yet
                      // here at 0x00000001000041b4 (== 0)

    /* run the real fprintf */
    va_start(args, format);
    (void)vasprintf(&buffer, format, args);
    va_end(args);

    debug_print_line(func, file, line, buffer);

    free(buffer);
#endif
}

lldb输出:

Process 29615 stopped
* thread #1, queue = 'com.apple.main-thread', stop reason = breakpoint 1.2
    frame #0: 0x00000001000ae0c7 libimobiledevice.6.dylib`internal_set_debug_level(level=1) at debug.c:46
   43
   44   void internal_set_debug_level(int level)
   45   {
-> 46           debug_level = level;
   47   }
   48
Target 0: (idevicedebug) stopped.
(lldb) p debug_level
(int) $0 = 0
(lldb) p &debug_level
(int *) $1 = 0x00000001000b75fc
(lldb) watch set expression (int *)0x00000001000b75fc
Watchpoint created: Watchpoint 1: addr = 0x1000b75fc size = 8 state = enabled type = w
    new value: 0x0000000000000000
(lldb) n

Watchpoint 1 hit:
old value: 0x0000000000000000
new value: 0x0000000000000001
Process 29615 stopped
* thread #1, queue = 'com.apple.main-thread', stop reason = watchpoint 1
    frame #0: 0x00000001000ae0d0 libimobiledevice.6.dylib`internal_set_debug_level(level=1) at debug.c:47
   44   void internal_set_debug_level(int level)
   45   {
   46           debug_level = level;
-> 47   }
Target 0: (idevicedebug) stopped.
(lldb) c
Process 29615 resuming
Process 29615 stopped
* thread #1, queue = 'com.apple.main-thread', stop reason = breakpoint 2.1
    frame #0: 0x0000000100001e58 idevicedebug`main(argc=4, argv=0x00007fff5fbfef50) at idevicedebug.c:359
   357
   358                          /* set maximum packet size */
-> 359                          debug_info("Setting maximum packet size...");
   360
Target 0: (idevicedebug) stopped.
(lldb) s
Process 29615 stopped
* thread #1, queue = 'com.apple.main-thread', stop reason = step in
    frame #0: 0x0000000100002fff idevicedebug`debug_info_real(func="main", file="idevicedebug.c", line=359, format="Setting maximum packet size...") at debug.c:85
   82   {
   83   #ifndef STRIP_DEBUG_CODE
   84           va_list args;
-> 85           char *buffer = NULL;
   86
   87           if (!debug_level)
   88                   return;
Target 0: (idevicedebug) stopped.
(lldb) p debug_level
(int) $3 = 0
(lldb) p &debug_level
(int *) $4 = 0x00000001000041b4

1 个答案:

答案 0 :(得分:2)

您完全可以理解静态变量的工作原理。

不确定,但是显然问题出在链接阶段。可能是静态/动态链接的混合。根据调试器的输出,您将两次包含相同的代码:

  • libimobiledevice.la包含common/debug.c(通过common/libinternalcommon.la
  • idevicedebug似乎是静态地(通过libinternalcommon也包括),并且是动态地通过libimobiledevice包括它。

我会尝试从common/libinternalcommon.la的{​​{1}}中删除idevicedebug_LDFLAGS

tools/Makefile.am在我的计算机上失败,所以我无能为力,但您明白了。