yasca

  • stacoan：跨平台工具，帮助开发人员、恶意追捕者和道德黑客对移动应用程序执行静态代码分析。
  • snyk：cli和build time工具，用于查找和修复开放源代码依赖项中的已知漏洞。
  • pfff：用于代码分析、可视化和转换的工具和API
  • expose：JavaScript的动态符号执行（DSE）引擎
  • mosca：静态分析工具，用于查找类似grep unix命令的错误。
  • valgrind：帮助查找程序内存管理问题的工具
  • cpptest：一个可移植的、强大的、简单的单元测试框架，用于处理C++中的自动化测试。
  • splint：静态检查C程序安全漏洞和编码错误的工具