stoq

  • androwarn：另一个用于恶意Android应用程序的静态代码分析器。
  • php-vulnerability-hunter：一个白盒模糊测试工具能够检测到PHP Web应用程序中的几个类的漏洞。
  • dscanner：瑞士军刀的D源代码。
  • leena：javascript的符号执行引擎
  • horusec：静态代码分析，用于识别多种语言的安全缺陷。
  • slither：用Python 3编写的Solidity静态分析框架。
  • cppcheck：一种静态C/C++代码分析工具
  • pscan：C源文件的有限问题扫描程序