splint

  • 描述：静态检查C程序安全漏洞和编码错误的工具
  • 类别：
  • 版本：3.1.2.git20180129
  • 官网：http://www.splint.org/
  • 更新：2018-01-30
  • 标签：
  • wscript：Emulator/tracer of the Windows Script Host functionality.
  • brakeman：RubyonRails应用程序的静态分析安全漏洞扫描器
  • whispers：识别硬编码的秘密和危险行为。
  • valgrind：帮助查找程序内存管理问题的工具
  • androwarn：另一个用于恶意Android应用程序的静态代码分析器。
  • spotbugs：用于静态分析的工具，用于查找Java代码中的错误。
  • pfff：用于代码分析、可视化和转换的工具和API
  • leena：javascript的符号执行引擎