DetectGlobals:Maxime创建模型检查器的工作取决于全局存储中的变量知识-这个小工具尝试使用libclang和大量...

Maxime创建模型检查器的工作取决于全局存储中变量的知识。 这个小工具尝试使用libclang和许多试探法来提供该信息。 设置-用法 首先设置虚拟环境并激活它： $ make dev-install $ . .venv/bin/activate 现在，您可以修改项目的Makefiles / build系统文件，以使用-E而不是-c生成交叉编译器。 这将为您提供*.o文件，它们不是真正的目标文件，而是经过预处理的独立源代码。 收集它们，并适当地重命名它们： $ mkdir /path/to/preprocessed $ find /path/to/src -type f -iname '*.o' \ -exec mv -i '{}' /path/to/preprocessed/ \; $ cd /path/to/preprocessed $ rename -E 's,o$,c