wscript

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