2009年5月14日，Trusite测试工具介绍。附件是对应的测试工具及工具介绍文档。

Java测试工具及相关文档：

• Bandera: Bandera 是一个开源的，用java 实现的对java 源程序进行静态分析的工具集。
  工具及文档下载： Bandera_old_home.zip
• FindBugs: FindBugs 是一个面向Java 语言的Bug 探测工具。
  工具及文档下载： findbugs-1.3.8.zip
• JavaSlicer
  工具及文档下载： javaSlicer.tar.gz
• Java Path Finder: JPF是一个开源的Java 程序分析工具，是一个用来验证可执行的java 字节码的系统， 是一个用来执行模型检查（model checker）的虚拟机，用于发现潜在的可能 导致危险和失效的程序缺陷，主要是死锁或未经处理的意外。
  工具及文档下载： jpf-bin-r1258.zip     jpf-src-r1258.zip

C++测试工具及相关文档：

• PC-Lint：PC-Lint，是Gimpel 公司生产的一款商业化的C/C++语言静态代码分析工具。PC-Lint 是一个命令行工具， 可以指出可疑的或明确的源代码错误。PC-Lint 可以很容易的嵌入任何的IDE 中，作为一个外部工具，并且它的警告信息可以轻易的被这些IDE 识别和处理。
  工具及文档下载： pclint.rar
• Yasca ：Yasca 是一个在BSD License 下的开源软件，集成了许多其他的开源程序，包括FindBugs、FMD、JLint、 JavaScript Lint、PHPLint、Cppcheck 和Pixy。它是一个命令行工具，可以产生HTML、CSV、XML、SQLite 等许多不同格式的报告。
  工具及文档下载： Yasca.rar

C测试工具及相关文档：

• Saturn：Saturn是一种精确且可扩展的C 语言程序分析工具，应用于大型软件系统中程序漏洞查找与验证。
  工具及文档下载： saturn-1.1.zip
• Splint ：Splint原名为LcLint，是一个静态检查C 语言程序安全弱点和编写错误的工具。它并不将程序转换成中间表示， Splint 可以检查一些和编程风格相关的以及影响程序移植性的错误。
  工具及文档下载： splint-3.1.1.Linux.gz

Dot Net测试工具及相关文档：

• FxCop:
  工具及文档下载： FxCopSetup.exe
• StyleCop：
  工具及文档下载： Microsoft-StyleCop.msi