llvm:Call Graph And Control Flow Graph

前言

最近对llvm框架进行了初步的了解,才体会了llvm真正的魅力。它不仅是一个编译器框架,更是研究者们研究程序的一个有力的工具。本篇文章主要介绍一下如何对llvm的中间语言IR进行处理从而生成Call Graph(CG)和Control Flow Graph。

Call Graph

Call Graph又叫做函数调用图,用来记录程序中的函数调用关系的。比如:

1
2
3
4
void foo(){
a();
b();
}

在上面的例子中,foo函数调用了a函数和b函数,则程序的函数调用图为 foo -> a, foo -> b.

我们在llvm的IR层面上进行分析(llvm允许我们自己编写Pass分析程序来对IR进行分析或修改)。具体的Pass教程可参考how to write a pass

在实现Call Graph过程中所需要了解的是在IR中间代码中,调用函数有两种表示形式,一种是使用call调用,另一种是使用invoke调用。这两种形式的区别是call调用的函数中没有异常需要捕捉,而invoke调用的函数中有异常需要捕捉。因此在invoke指令中除了所调用的函数这一标签外还有exception这一标签

1
2
<result> = invoke [cconv] [ret attrs] <ptr to function ty> <function ptr val>(<function args>) [fn attrs]
to label <normal label> unwind label <exception label>

上面除了normal标签(调用的函数)之外,还有exception标签(捕捉的异常)

所以我们对于CallInst和InvokeInst都要进行处理。

因此,我声明一个class继承自ModulePass,并且重载runOnModule(Module &M)函数。我们首先找到c/c++语言的入口函数main,并遍历main函数的每一个指令,使用dyn_cast函数来判断指令是callInst还是invokeInst,当是这两个指令的时候,解析这两个指令,通过getCalledFunction()函数来获得所调用的函数,如果该函数还没有被遍历到,就将其加入到栈中,等到以后遍历到。具体的函数过程如下所示:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

bool CGPass::runOnModule(Module &M) {

Function *main = M.getFunction("main");

G = new CallGraph(main);
G->valueList.push_back(main);
if (!main) return false;

std::deque<Function*> list;


list.push_back(main);

while (!list.empty()) {

Function* func = list.front();

list.pop_front();

for (Function::iterator iter = func->begin(); iter != func->end(); ++iter)

{



for (BasicBlock::iterator Biter = iter->begin(); Biter != iter->end(); ++Biter)

{

Instruction *I = &*Biter;

if (CallInst *inst = dyn_cast<CallInst>(I))

{

//errs() <<"instruction\n";

Function* called = inst->getCalledFunction();

if (called)

{

//errs() <<"instruction1\n";
//errs() <<"instruction2\n";

G->AddEdge(func, called);

if (!G->hasFunction(called))

{
list.push_back(called);
G->valueList.push_back(called);
}

//}

}

}

if (InvokeInst *inst = dyn_cast<InvokeInst>(I))

{

Function* called = inst->getCalledFunction();

errs() << "hello\n";

if (called)

{

G->AddEdge(func, called);

if (!G->hasFunction(called))

{
list.push_back(called);
G->valueList.push_back(called);
}

}

}

}

}

}

//G->print();

G->dump();

}

完整的代码请参考我的github

注:我在实际的实验过程中,发现c++的new函数在llvm中的表示为@_Znwm;并且由于C++的动态绑定特性,其所调用的虚函数只有在运行的时候才能确定,虚函数在c++中都保存在一个vtable中,并且在llvm中在调用虚函数的时候是直接取得该函数在vtable中的位置的指针,即该函数的指针。具体的操作可以参考如下示例:

1
2
3
%16 = getelementptr inbounds void (%class.A*)*, void (%class.A*)** %15, i64 0
%17 = load void (%class.A*)*, void (%class.A*)** %16, align 8
call void %17(%class.A* %13)

因为vtable是从一个实例类的0偏移开始存储的,所以在该实例中从(%class.A)指向的地址开始获取,由于是第一个虚函数,所以getelementptr的偏移为0,然后调用load函数获得该虚函数,随后调用该虚函数。可是遗憾的是我们根据CallInst指令获得该函数的时候函数为空,可能因为函数的动态绑定,只能在运行的时候才能确定具体的函数吧。

Control Flow Graph

Control Flow Graph又叫做控制流程图,表示一个函数之间Basic Block的控制关系。Basic Block是一个函数中的基本块,在llvm中有BasicBlock表示基本块,并可以通过

1
for (Function::iterator B_iter = F.begin(); B_iter != F.end(); ++B_iter)

来遍历一个函数中的所有基本块。
并且在llvm中有专门的函数successors(BasicBlock *B)来获得BasicBlock B的后继基本块。所以获得一个函数的Control Flow Graph的逻辑还是比较简单的。关键代码如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
bool runOnFunction(Function &F) override {
raw_string_ostream rso(str);
StringRef name(F.getName().str() + ".dot");

enum sys::fs::OpenFlags F_None;
raw_fd_ostream file(name, error, F_None);
//std::ofstream os;
//os.open(name.str() + ".dot");
//if (!os.is_open()){
// errs() << "Could not open the " << name << "file\n";
// return false;
//}
file << "digraph \"CFG for'" + F.getName() + "\' function\" {\n";
for (Function::iterator B_iter = F.begin(); B_iter != F.end(); ++B_iter){
BasicBlock* curBB = &*B_iter;
std::string name = curBB->getName().str();
int fromCountNum;
int toCountNum;
if (basicBlockMap.find(curBB) != basicBlockMap.end())
{
fromCountNum = basicBlockMap[curBB];
}
else
{
fromCountNum = bbCount;
basicBlockMap[curBB] = bbCount++;
}

file << "\tBB" << fromCountNum << " [shape=record, label=\"{";
file << "BB" << fromCountNum << ":\\l\\l";
for (BasicBlock::iterator I_iter = curBB->begin(); I_iter != curBB->end(); ++I_iter) {
//printInstruction(&*I_iter, os);
file << *I_iter << "\\l\n";
}
file << "}\"];\n";
for (BasicBlock *SuccBB : successors(curBB)){
if (basicBlockMap.find(SuccBB) != basicBlockMap.end())
{
toCountNum = basicBlockMap[SuccBB];
}
else
{
toCountNum = bbCount;
basicBlockMap[SuccBB] = bbCount++;
}

file << "\tBB" << fromCountNum<< "-> BB"
<< toCountNum << ";\n";
}
}
file << "}\n";
file.close();
return false;
}
//void printInstruction(Instruction *inst, std::ofstream os) {

//}
};

完整的代码请参考我的github