Question

的要求：

鉴于C程序，我必须确定访问全局变量的函数是读取它们还是写入它们。

示例代码：

#include <stdio.h>

/* global variable declaration */
int g = 20;

int main()
{

    /* writing the global variable */
    g = 10;

    /* reading the global variable */
    printf ("value of g = %d\n",  g);

    return 0;
}

执行上面的代码我想以下面的格式生成一个日志文件：

1- Global variable a written in function main() "TIME_STAMP"
2- Global variable a read in function main() "TIME_STAMP"

研究：

我可以通过按照以下逻辑对源代码进行静态分析来实现这一目标：

浏览c代码并识别全局的语句变量被读取。
然后分析c代码语句以确定是否它是一个读或写语句。（检查++或 - 运算符是否为用于全局变量或任何assignemnt已被用于全局变量）
在将要执行的已标识语句上方添加一条日志语句以及此声明执行。

这不是一个正确的实施。

一些研究：

我已经了解了调试器如何捕获信息。

互联网上的一些链接： How to catch a memory write and call function with address of write

Answer 1

没有完全回答您的问题，但只需记录访问权限即可：

#include <stdio.h>

int g = 0;

#define g (*(fprintf(stderr, "accessing g from %s. g = %d\n", __FUNCTION__, g), &g))

void foo(void)
{
  g = 2;
  printf("g=%d\n", g);
}

void bar(void)
{
  g = 3;
  printf("g=%d\n", g);
}

int main(void)
{
  printf("g=%d\n", g);
  g = 1;
  foo();
  bar();
  printf("g=%d\n", g);
}

哪个会打印：

accessing g from main. g = 0
g=0
accessing g from main. g = 0
accessing g from foo. g = 1
accessing g from foo. g = 2
g=2
accessing g from bar. g = 2
accessing g from bar. g = 3
g=3
accessing g from main. g = 3
g=3

Answer 2

以下是我解决这个问题的方法：

我创建了一个实用程序（在java中），其工作原理如下（C程序源文件是我的实用程序的输入）：
- 逐行解析文件，识别变量和函数。
- 它将全局变量存储在一个单独的容器中，并使用它们查找行。
- 对于访问全局变量的每一行，我正在分析它们，确定它是读操作还是写操作（例如：==，+ =， - + 等等是写操作）。
- 对于每个这样的操作，我正按照@alk（https://stackoverflow.com/a/41158928/6160431）的建议来检测代码，然后在执行修改后的源文件时生成日志文件。

我当然能够实现我想要的，但如果有人的话，我仍然在寻找更好的实施方案。

如果有人想要进一步讨论，我们可以聊聊。

我从以下工具中引用源代码和算法：

http://www.dyninst.org/

https://software.intel.com/en-us/articles/pin-a-dynamic-binary-instrumentation-tool

记录是否已读取或写入全局变量

的要求：

研究：

2 个答案: