使用 –xprevise 编译器选项生成二进制文件时,编译器会自动提取静态错误并将数据放入源代码所在目录中的 binary-name.analyze 目录的 static 子目录中。有关编译器找到的静态错误的类型列表,请参见静态代码问题。
在 sample 目录中,键入以下内容以生成应用程序:
在 Oracle Solaris 上:
$ cc -xprevise main.c previse*.c sample1.c sample2.c sample3.c
在 Oracle Linux 上:
$ cc -xannotate -xprevise main.c previse*.c sample1.c sample2.c sample3.c
静态错误数据将写入 sample/a.out.analyze/static 目录。
启动代码分析器 GUI 以查看结果:
$ code-analyzer a.out &
此时将打开代码分析器 GUI,"Results"(结果)标签中会显示编译期间发现的静态代码问题。"Results"(结果)标签左上的文本指示发现了十三个静态代码问题。
对于每个问题,此标签显示问题类型、发现问题的源文件的路径名以及该文件中突出显示相关源代码行的代码片段。
要查看有关第一个问题("Double Freeing Memory"(双重释放内存)错误)的更多信息,请单击错误图标 。
此时将打开问题的堆栈跟踪,其中显示错误路径:
请注意,在打开堆栈跟踪时,问题的右上角的图标从 变为 ,指示您已经查看了该问题。
单击同一个错误图标以关闭堆栈跟踪。
单击某个 "Uninitialized Memory Read"(读取未初始化的内存)警告的堆栈跟踪警告图标 可打开堆栈跟踪。
此问题的错误路径所包含的函数调用远远多于 "Double Freeing Memory"(双重释放内存)问题的错误路径所包含的函数调用。
双击第一个函数调用。
此时将打开源文件,并且突出显示该调用。错误路径显示在源代码下的 "Details Window"(详细信息窗口)中。
双击错误路径中的其他函数调用以沿着路径找到导致错误的代码。
单击问题描述左边的信息按钮 可了解有关 UMR 错误类型的更多信息。
联机帮助浏览器中显示了错误类型的描述,其中包括代码示例和可能的原因。
按右上角的 X 关闭代码分析器 GUI。