mosca

  • slither：用Python 3编写的Solidity静态分析框架。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • stacoan：跨平台工具，帮助开发人员、恶意追捕者和道德黑客对移动应用程序执行静态代码分析。
  • pfff：用于代码分析、可视化和转换的工具和API
  • zarn：现代Perl应用程序的轻量级静态安全分析工具。
  • php-malware-finder：检测潜在的恶意PHP文件。
  • splint：静态检查C程序安全漏洞和编码错误的工具
  • retire：扫描程序检测已知漏洞的JavaScript库的使用。