是否有Clang Static Analyzer检查器是否存在sqlite问题？

Question

Xcode使用的Clang静态分析器使用检查器来识别源代码中的警告和错误。 我想用一个检查时，SQLite是与用于检测sqlite3_prepare_v2被称为不调用sqlite3_finalize 。

以下是现有检查程序的列表。

http://clang-analyzer.llvm.org/available_checks.html

这是潜在检查者的列表。

http://clang-analyzer.llvm.org/potential_checkers.html

是否有特定于sqlite的检查程序可以解决此问题？ 还有另一种自动检测丢失/不平衡呼叫的方法吗？

Answer 1

不幸的是没有办法。

只有您能做的是，确保已在sqlite3_prepare块内编写了sqlite3_finalize而不是在外部编写。 这将处理sqlite3_prepare失败问题。

if(sqlite3_prepare(dbfile,query,-1,&statement,0)==SQLITE_OK)
{
   int res=sqlite3_step(statement);
   result=res;
   sqlite3_finalize(statement);
}

如果您wtitten sqlite3_finalize外sqlite3_prepare块，它会同时导致问题sqlite3_prepare语句失败。

Answer 2

有一个Clang静态分析器，您可以在https://github.com/XSecurity/XSecurity中找到它