procyon

  • shellcheck：shell脚本分析工具
  • slither：用Python 3编写的Solidity静态分析框架。
  • pfff：用于代码分析、可视化和转换的工具和API
  • spaf：Static Php Analysis and Fuzzer.
  • r2ghidra：radare2和R22的深度ghidra反编译集成
  • snyk：cli和build time工具，用于查找和修复开放源代码依赖项中的已知漏洞。
  • fernflower：一个Java的解析反编译器。
  • pscan：C源文件的有限问题扫描程序