Tizen静态分析器,源代码分析工具分析方法

密西西比河

Tizen静态分析器是一个源代码分析工具,发现bug Tizen应用程序:

运行静态分析器描述如何启动Tizen静态分析器与您的应用程序。

检测到错误定义了类型的bug Tizen静态分析器可以检测。

查看静态分析器结果描述Tizen静态分析器分析的结果。

运行静态分析器

为您的应用程序运行一个静态分析:

• 在 Project Explorer 视图中,右键单击项目并选择 检查与构建潜在的bug 。
  
  

2.查看分析结果 潜在的bug 查看右边。

tizen_sa_result

你也可以启用LLVM静态分析器在构建过程中运行。 在项目属性改变设置: Tizen SDK >静态分析 。

图:静态分析属性

sa_property_page

检测到错误

Tizen静态分析器可以检测错误在编译时基于一组预定义的错误条件。 下表定义了由Tizen静态缺陷检测分析仪。

表:可检测错误

错误	描述
内存管理不善	免费检测内存泄漏、双、双删除不匹配的分配器/ deallocator,之后使用自由问题。
资源管理不善	检测动态资源,例如一个文件或插座没有关闭或处理不当。
绑定的访问	在静态时检测球出界线访问数组。
零废弃	检测到废弃的空指针。
除以零	检测除零问题。
无效的C字符串API的使用	检测到无效的C字符串API的访问和使用,如拷贝字符串传递一个空指针。

查看静态分析器结果

Tizen静态分析器结果中显示 潜在的错误 分析完成后的看法。

的 潜在的错误 视图自动打开,当你建立或检查潜在的bug。 打开潜在的bug明确:

• 去 Windows >其他>显示视图 。
• 类型 潜在的bug 。
• 选择潜在的 Bug，并单击确定。
  
  
  
  图： 打开潜在错误视图
  
  
  
  
  other_view
  potential_bug_select
  
  

在潜在的 Bug 视图中，您可以分组基于类型或文件的警告。你也可以选择任何特定的错误并展开它，看看完整的流程，导致这一问题。

图： 静态分析器结果