procyon

  • codeql：用于GitHub CodeQL的CLI工具
  • slither：用Python 3编写的Solidity静态分析框架。
  • sonar-scanner：用于在SonarQube服务器上启动项目分析的通用CLI工具。
  • jadx：命令行和GUI工具从Android DEX和APK文件生成Java源代码
  • shellcheck：shell脚本分析工具
  • jd-cli：命令行Java反编译器。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • wscript：Emulator/tracer of the Windows Script Host functionality.