[发明专利]一种锁使用模式自动化静态分析系统

权利要求书

1.一种锁使用模式自动化静态分析系统，运行在LLVM分析框架上，包含中间代码编译器、支撑引擎以及锁分析器，其特征在于：

所述中间代码编译器用于将目标程序的源代码编译链接成单文件的LLVM中间代码；

所述支撑引擎用于根据LLVM中间代码为锁分析器提供支撑服务，所述支撑服务包含构造控制流图、构造函数调用图、构造控制依赖图、构造数据流、指针别名分析、函数建模；

所述锁分析器根据支撑引擎提供的支撑服务对目标程序中的每个函数单独进行分析，收集锁相关的程序语言特性数据，识别锁敏感函数内所使用的每个锁模式，并且根据常见锁模式的特征对识别的模式进行分类，并同时统计各种常见的锁模式出现的次数。

2.根据权利要求1所述的锁使用模式自动化静态分析系统，其特征在于所述中间代码编译器通过先过滤错误的编译链接选项以及无效的编译链接选项，然后根据编译LLVM中间代码需要填加编译链接选项，再后根据实现全代码编译以及删除会对分析结果造成影响的优化措施的需要修改编译链接最终实现LLVM中间代码的编译。

3.根据权利要求1所述的锁使用模式自动化静态分析系统，其特征在于所述锁分析器包含语言特性收集器和模式分析器；

所述语言特性收集器用于根据支撑引擎提供的支撑服务收集目标程序中与锁相关的程序语言特性方面的数据，为模式分析器提供数据依据；

所述模式分析器用于根据语言特性收集器提供的数据，针对不同的不相交锁集分别分析目标程序中每个锁敏感函数中的锁的使用模式，识别每个锁模式并根据通过模式匹配进行分类，最后得出目标程序的锁模式数据。