cflow

  • slither：用Python 3编写的Solidity静态分析框架。
  • njsscan：静态应用程序测试（SAST）工具，可以在节点中发现不安全的代码模式。js应用程序。
  • cppcheck：一种静态C/C++代码分析工具
  • pscan：C源文件的有限问题扫描程序
  • procyon：一套Java元编程工具，专注于代码生成和分析。
  • graudit：grep粗略的源代码审计工具。
  • leena：javascript的符号执行引擎
  • php-vulnerability-hunter：一个白盒模糊测试工具能够检测到PHP Web应用程序中的几个类的漏洞。