pfff

  • slither：用Python 3编写的Solidity静态分析框架。
  • cpptest：一个可移植的、强大的、简单的单元测试框架，用于处理C++中的自动化测试。
  • androwarn：另一个用于恶意Android应用程序的静态代码分析器。
  • leena：javascript的符号执行引擎
  • mosca：静态分析工具，用于查找类似grep unix命令的错误。
  • cppcheck：一种静态C/C++代码分析工具
  • git-dump：在未启用目录列表的情况下转储远程git存储库的内容。
  • dscanner：瑞士军刀的D源代码。