是否可以使用clang匹配器来识别程序中的模式序列？
例如,我需要找到pattern1在pattern2之前发生的情况.
例如:
Pattern1 =为指针P
pattern2 =取消引用指针P赋值
我可以识别出代码中出现pattern1和pattern2的情况,但是可以指定一个排序吗？(假设pattern1必须在pattern2之前发生并且只匹配那些情况)谢谢!
我需要使用frama-c值分析插件来分析一些项目。这些项目使用 CMake 构建基础设施作为它们的构建系统。
我使用 frama-c 分别分析每个文件。这样，入口点的信息就会丢失。更准确地说，frama-c 需要一个不包含“main”函数的文件的入口点，因此覆盖所有函数并在项目的单个文件中选择最佳入口点是一项挑战。
我的问题是，有没有一种方法可以将整个项目作为一个整体（而不是逐个文件）运行 frama-c ？