graudit

  • stacoan：跨平台工具，帮助开发人员、恶意追捕者和道德黑客对移动应用程序执行静态代码分析。
  • dscanner：瑞士军刀的D源代码。
  • retire：扫描程序检测已知漏洞的JavaScript库的使用。
  • cppcheck：一种静态C/C++代码分析工具
  • flawfinder：在源代码中搜索潜在的安全缺陷。
  • pscan：C源文件的有限问题扫描程序
  • slither：用Python 3编写的Solidity静态分析框架。
  • leena：javascript的符号执行引擎