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

摘要

一种锁使用模式自动化静态分析系统，运行在LLVM分析框架，包含中间代码编译器、支撑引擎以及锁分析器，所述中间代码编译器用于将目标程序的源代码编译链接成单文件的LLVM中间代码；所述支撑引擎用于根据LLVM中间代码为锁分析器提供支撑服务；所述锁分析器根据支撑引擎提供的支撑服务对目标程序中的每个函数单独进行分析，收集锁相关的程序语言特性数据，识别锁敏感函数内所使用的每个锁模式，并且根据常见锁模式的特征对识别的模式进行分类，并同时统计各种常见的锁模式出现的次数。本发明能够在低分析开销条件下识别不同的锁变量、不同的锁模式，进而通过这些数据发现锁使用的一般性规律，为分析工具的改进和程序员编写并发程序提供建议。

主权项

一种锁使用模式自动化静态分析系统，运行在LLVM分析框架上，包含中间代码编译器、支撑引擎以及锁分析器，其特征在于：所述中间代码编译器用于将目标程序的源代码编译链接成单文件的LLVM中间代码；所述支撑引擎用于根据LLVM中间代码为锁分析器提供支撑服务，所述支撑服务包含构造控制流图、构造函数调用图、构造控制依赖图、构造数据流、指针别名分析、函数建模；所述锁分析器根据支撑引擎提供的支撑服务对目标程序中的每个函数单独进行分析，收集锁相关的程序语言特性数据，识别锁敏感函数内所使用的每个锁模式，并且根据常见锁模式的特征对识别的模式进行分类，并同时统计各种常见的锁模式出现的次数。