pfff

  • stoq：用于企业级自动分析的开源框架。
  • semgrep：多种语言的轻量级静态分析。
  • pscan：C源文件的有限问题扫描程序
  • slither：用Python 3编写的Solidity静态分析框架。
  • smalisca：SMALI文件的静态代码分析。
  • dscanner：瑞士军刀的D源代码。
  • tell-me-your-secrets：在任何机器上从120多个不同的签名中查找秘密。
  • bof-detector：通过源代码级检查简单地检测BOF漏洞。