特别是获取函数的返回类型（如果可能，是否为指针类型）。
（我正在尝试编写 ioctl/dlsym 包装器库的自动生成（被 LD_PRELOAD 编辑））。首选 python 或 ruby 库，但欢迎任何可行的解决方案。
【问题讨论】：
标签： c parsing code-generation
我们的DMS Software Reengineering Toolkit 及其C Front End 很容易做到这一点。
DMS 使用语言定义（在本例中为 C 语言）来解析源代码、构建抽象语法树、确定表达式类型并构建完整的符号表。它还可以将 AST 漂亮地打印回有效的语言文本（例如 C 代码）。您可以轻松找到函数声明，并从符号表条目中收集您想要的任何内容（“返回类型是指针吗？”），和/或将声明打印为原型。如果您想打印一个实际上不依赖于实际文件中其他定义的原型，您可能会发现您需要规范化符号；这需要为各种类型声明构建 AST 并将它们相互替换。我们过去曾为其他客户这样做过，并且这种机器可用于 C 前端。
【讨论】：
cproto 程序执行此操作。请注意，有两个不同的版本：
直到最近，GCC 还包含一个程序 protoize 可以完成这项工作（并将 K&R 函数定义转换为 ISO 原型函数定义）；不过，它不再是 GCC 发行版的一部分。
【讨论】：
我已经成功地使用来自 hackage 的 Haskells Language.C 包（Haskells 对 CPAN 的回答）来做类似的事情。它将为您提供 C（或头文件）文件的完整解析树，然后可以遍历该文件以提取所需的信息。它应该也适用于#includes #defines 等等。
恐怕我没有安装相关的软件来测试它，但它会是这样的：
handler (DeclEvent (Declaration d)) =
do
let (VarDecl varName declAttr t) = getVarDecl d
case t of
(FunctionType (FunType returnType params isVaradic attrs)) ->
do {- varName RETURNS returnType .... -}
_ -> do return ()
return ()
handler _ =
do return ()
main = do
let compiler = newGCC "gcc"
ast <- parseCFile compiler Nothing opts cFileName
case (runTrav newState (withExtDeclHandler (analyseAST ast) handler)) of
...
上面的内容可能看起来很吓人，但您可能不需要那么多行的 Haskell 来做您想做的事！如果有帮助的话，我很乐意分享我使用的完整源代码（约 200 行）。
【讨论】：
您正在寻找的似乎是一种轻松生成任意 c 代码的Abstract Syntax Tree 的方法。为此（如果你熟悉 python），我建议使用pycparser:
parser = CParser()
buf = '''
static void foo(int k)
{
j = p && r || q;
return j;
}
'''
t = parser.parse(buf, 'x.c')
t.show()
生成：
FileAST:
FuncDef:
Decl: foo, [], ['static']
FuncDecl:
ParamList:
Decl: k, [], []
TypeDecl: k, []
IdentifierType: ['int']
TypeDecl: foo, []
IdentifierType: ['void']
Compound:
Assignment: =
ID: j
BinaryOp: ||
BinaryOp: &&
ID: p
ID: r
ID: q
Return:
ID: j
每个编译器都会这样做，并且大多数编译器都提供了一个 api 来访问它们的各种解析/语义检查例程。此外，任何常用的解析器生成器都应该具有可用于解析 c 的语法。如果您担心性能和/或希望保持在 c 范围内，我建议您查看：
clang 二进制文件将它们转储到标准输出。【讨论】：