下图提供了 rellic-headergen 功能的示例。 左侧窗口显示我们的源代码,我们在底部窗口中执行第一个命令将代码编译为LLVM位码,然后使用第二个命令通过rellich headergen运行它。右边的窗口显示rellic-headergen的输出,它是与输入c++代码的布局匹配的有效C代码。 该工具的工作原理是假设被分析的程序可以被编译成具有完整...