procyon

  • leena：javascript的符号执行引擎
  • smalisca：SMALI文件的静态代码分析。
  • snowman：一个原生代码到C/C++ +反编译程序，见生成代码的例子。
  • pscan：C源文件的有限问题扫描程序
  • rej：一个API和一个图形工具，用于检查和操作Java平台的类文件。
  • mosca：静态分析工具，用于查找类似grep unix命令的错误。
  • githound：在git存储库中查找机密信息。
  • retire：扫描程序检测已知漏洞的JavaScript库的使用。