splint

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