wscript

  • splint：静态检查C程序安全漏洞和编码错误的工具
  • php-vulnerability-hunter：一个白盒模糊测试工具能够检测到PHP Web应用程序中的几个类的漏洞。
  • procyon：一套Java元编程工具，专注于代码生成和分析。
  • valgrind：帮助查找程序内存管理问题的工具
  • cpptest：一个可移植的、强大的、简单的单元测试框架，用于处理C++中的自动化测试。
  • pscan：C源文件的有限问题扫描程序
  • dscanner：瑞士军刀的D源代码。
  • slither：用Python 3编写的Solidity静态分析框架。