Minerva事务分析器(MINT)::一种基于CodeQL的分析工具,用于分析数据库事务,
Minerva Transactions Analyzer (MINT) :: A CodeQL based analysis tool for analyzing database transactions, (2023-09-12, CodeQL, 0KB, 下载0次)
CodeQL库和迭代器无效查询,
CodeQL library and queries for iterator invalidation, (2021-05-05, CodeQL, 0KB, 下载0次)