我的建议是使用 clang AST 访问者,而不是使用 LLVM IR。
可以在此处找到 AST 访问者的示例:
http://clang.llvm.org/docs/RAVFrontendAction.html
如果我们转储代码的 AST(编译为 C++ - 在 C 中会略有不同,因为 func() 的声明与 func(...) 相同):
$ clang++ -Xclang -ast-dump -fno-color-diagnostics -c funcptr.cpp
TranslationUnitDecl 0x50973b0 <<invalid sloc>> <invalid sloc>
|-TypedefDecl 0x50978f0 <<invalid sloc>> <invalid sloc> implicit __int128_t '__int128'
|-TypedefDecl 0x5097950 <<invalid sloc>> <invalid sloc> implicit __uint128_t 'unsigned __int128'
|-TypedefDecl 0x5097d50 <<invalid sloc>> <invalid sloc> implicit __builtin_va_list '__va_list_tag [1]'
|-FunctionDecl 0x5097df0 <funcptr.cpp:1:1, col:12> col:6 used foo 'void (void)'
| `-CompoundStmt 0x5097e90 <col:11, col:12>
|-FunctionDecl 0x5097ed0 <line:2:1, col:12> col:6 used goo 'void (void)'
| `-CompoundStmt 0x5097f70 <col:11, col:12>
`-FunctionDecl 0x5097fe0 <line:3:1, line:14:1> line:3:5 main 'int (void)'
`-CompoundStmt 0x50d98b0 <col:11, line:14:1>
|-DeclStmt 0x50d9548 <line:5:1, col:9>
| `-VarDecl 0x50d94d0 <col:1, col:8> col:5 used x 'int' cinit
| `-IntegerLiteral 0x50d9528 <col:8> 'int' 1
|-DeclStmt 0x50d9678 <line:6:1, col:12>
| `-VarDecl 0x50d9620 <col:1, col:11> col:8 used p 'void (*)(void)'
|-IfStmt 0x50d9818 <line:7:1, line:10:7>
| |-<<<NULL>>>
| |-ImplicitCastExpr 0x50d96d0 <line:7:4> '_Bool' <IntegralToBoolean>
| | `-ImplicitCastExpr 0x50d96b8 <col:4> 'int' <LValueToRValue>
| | `-DeclRefExpr 0x50d9690 <col:4> 'int' lvalue Var 0x50d94d0 'x' 'int'
| |-BinaryOperator 0x50d9758 <line:8:2, col:7> 'void (*)(void)' lvalue '='
| | |-DeclRefExpr 0x50d96e8 <col:2> 'void (*)(void)' lvalue Var 0x50d9620 'p' 'void (*)(void)'
| | `-UnaryOperator 0x50d9738 <col:6, col:7> 'void (*)(void)' prefix '&'
| | `-DeclRefExpr 0x50d9710 <col:7> 'void (void)' lvalue Function 0x5097df0 'foo' 'void (void)'
| `-BinaryOperator 0x50d97f0 <line:10:2, col:7> 'void (*)(void)' lvalue '='
| |-DeclRefExpr 0x50d9780 <col:2> 'void (*)(void)' lvalue Var 0x50d9620 'p' 'void (*)(void)'
| `-UnaryOperator 0x50d97d0 <col:6, col:7> 'void (*)(void)' prefix '&'
| `-DeclRefExpr 0x50d97a8 <col:7> 'void (void)' lvalue Function 0x5097ed0 'goo' 'void (void)'
`-CallExpr 0x50d9888 <line:12:1, col:3> 'void'
`-ImplicitCastExpr 0x50d9870 <col:1> 'void (*)(void)' <LValueToRValue>
`-DeclRefExpr 0x50d9848 <col:1> 'void (*)(void)' lvalue Var 0x50d9620 'p' 'void (*)(void)'
在这里,我们可以很容易地看到我们正在通过CallExpr -> ImplicitCastExpr -> DeclRefExpr 调用p。所以你得到p。但是,当然,您必须解释导致分配 p 的代码 - 在这种情况下这并不太难,但想象一下 x 没有分配一个常量,这几乎是不可能的除了“它可能是foo 或goo,具体取决于x 的值”之外的任何内容。回溯到p 的分配可能仍然需要一些工作,但应该是可行的。您可以查找函数指针的分配(通过识别指针,使用getPointeeType 然后isa<FunctionType> 或类似的东西)。
要解析 llvm,您必须访问每条指令并找到导致调用的负载 - 当使用优化时,通过将 if (x) p = &foo; else p = &goo; 替换为 p = &foo; 来完成相反的操作,然后意识到p 始终设置为单个值,因此不需要通过函数指针调用[在这个简单的情况下]。但是 LLVM IR 本身并不跟踪数据的实际来源。一般来说,这是一个类似的原理,只是你离源代码更远,并且必须执行更多步骤来弄清楚被调用者是什么。
起点是函数或模块传递,这将在 LLVM 文档的本节中描述。
http://llvm.org/docs/WritingAnLLVMPass.html
我还没有查看所有细节,但我想说CallGraphSCCPass 可能是一个很好的起点,因为它从被调用者开始,你可以在调用图中按自己的方式工作,而不是下来。但可能不适合这种特殊情况,所有事情都发生在一个函数中 - 不确定。
就像我在 cmets 中所说的那样,对于琐碎的情况,这可以做到,但祝你好运尝试遵循任何依赖于用户数据或无法在编译时确定的函数(当然是编译时如果函数的结果是编译时可确定的,则可确定 - 如果源已知且所有影响输出的输入都已知,则它是编译时可确定的!)