pfff

  • leena：javascript的符号执行引擎
  • bof-detector：通过源代码级检查简单地检测BOF漏洞。
  • checkov：防止云配置错误，并在构建时在基础设施中以代码、容器映像和开源包的形式发现漏洞。
  • bandit：来自OpenStack security的Python安全linter
  • zarn：现代Perl应用程序的轻量级静态安全分析工具。
  • valgrind：帮助查找程序内存管理问题的工具
  • androwarn：另一个用于恶意Android应用程序的静态代码分析器。
  • slither：用Python 3编写的Solidity静态分析框架。