splint

  • 描述:静态检查C程序安全漏洞和编码错误的工具
  • 类别:
  • 版本:3.1.2.git20180129
  • 官网:http://www.splint.org/
  • 更新:2018-01-30
  • 标签:
  • codeql用于GitHub CodeQL的CLI工具
  • githound在git存储库中查找机密信息。
  • zarn现代Perl应用程序的轻量级静态安全分析工具。
  • exposeJavaScript的动态符号执行(DSE)引擎
  • leenajavascript的符号执行引擎
  • grauditgrep粗略的源代码审计工具。
  • procyon一套Java元编程工具,专注于代码生成和分析。
  • cpptest一个可移植的、强大的、简单的单元测试框架,用于处理C++中的自动化测试。