获取PDG图

Question

我正在使用Frama-C开发一个插件，我想从C程序中获取Pdg图。 我尝试了Db.Pdg.get，它采用“kernel_function”类型，而我有一个“funcdec”类型。我不知道如何解决这个问题。 有什么帮助吗？

Answer 1

您可以使用Globals.Functions.get fdec.Cil_types.svar将fundec fdec转换为kernel_function。调用Db.Pdg.get是正确的方法。