我正在尝试使用不同的c文件计算项目中的变量依赖项。这些文件中的每一个都有一个主要功能,它们不会互相调用。但是他们有共享变量,我需要计算它们之间的最终依赖关系。
例如,我有两个c文件:“File1.c”和“File2.c”以及一个定义三个全局变量的头文件“Header.h”。
FILE1.C
#include "header.h"
void main1(){
var1 = var2;
}
file2.c中
#include "header.h"
void main2(){
var2 = var3;
}
Header.h
int var1=1;
int var2=2;
int var3=3;
如果我在frama-c上调用依赖项模块,我必须指定入口Point,因此选择main1或main2作为入口点,所以要么得到main1.c的依赖项:
var1 FROM var2
或来自main2.c的依赖项:
var2 FROM var3
相反,我想获得两个文件之间的依赖关系:
var1 FROM var3
我还尝试用另一个函数包装两个主电源,但是frama字面意思是“没有效果”。我希望通过frama-c可以得到我想要的东西。