pscan

  • smalisca：SMALI文件的静态代码分析。
  • pfff：用于代码分析、可视化和转换的工具和API
  • horusec：静态代码分析，用于识别多种语言的安全缺陷。
  • leena：javascript的符号执行引擎
  • semgrep：多种语言的轻量级静态分析。
  • stoq：用于企业级自动分析的开源框架。
  • brakeman：RubyonRails应用程序的静态分析安全漏洞扫描器
  • slither：用Python 3编写的Solidity静态分析框架。