mosca

  • slither用Python 3编写的Solidity静态分析框架。
  • valgrind帮助查找程序内存管理问题的工具
  • cflowC程序流量分析仪。
  • bandit来自OpenStack security的Python安全linter
  • semgrep多种语言的轻量级静态分析。
  • stacoan跨平台工具,帮助开发人员、恶意追捕者和道德黑客对移动应用程序执行静态代码分析。
  • leenajavascript的符号执行引擎
  • shellcheckshell脚本分析工具