SEI
GitHub
CERT Secure Coding
  • Home
  • SEI CERT C++ Coding Standard
    • Front Matter
    • Rules
    • Back Matter
      • AA. Bibliography
      • BB. Definitions
      • CC. Analyzers
        • Astrée
        • Astrée_V
        • Axivion Bauhaus Suite
        • Axivion Bauhaus Suite_V
        • Clang
        • Clang_38_V
        • Clang_39_V
        • Clang_40_V
        • Clang_V
        • Codee
        • Codee_V
        • CodeSonar
        • CodeSonar_V
        • Coverity
        • Coverity_V
        • ECLAIR
        • ECLAIR_V
        • EDG
        • Edg_V
        • GCC
        • Gcc_V
        • Helix QAC
        • Helix QAC_V
        • Klocwork
        • Klocwork_V
        • LDRA
        • Ldra_V
        • Parasoft
        • Parasoft_V
        • Polyspace Bug Finder
        • Polyspace Bug Finder_V
        • PRQA QA-C++
        • PRQA QA-C++_V
        • PVS-Studio
        • PVS-Studio_V
        • Rose
        • Rose_V
        • RuleChecker
        • RuleChecker_V
        • Security Reviewer - Static Reviewer
        • Security Reviewer - Static Reviewer_V
        • Semgrep
        • Semgrep_V
        • SonarQube C/C++ Plugin
        • SonarQube C/C++ Plugin_V
        • Splint
        • Splint_V
      • DD. Related Guidelines
      • EE. Risk Assessments
    • Admin
    • Errata for SEI CERT C++ Coding Standard (2016 Edition)

Splint

This page was automatically generated and should not be edited.

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

The table below can be re-ordered, by clicking column headers.

Tool Version: 5.0

CheckerGuideline
EXP50-CPP. Do not depend on the order of evaluation for side effects
MEM50-CPP. Do not access freed memory
SonarQube C/C++ Plugin_VSplint_V
SEI
  • www.cmu.edu

© 2026 Carnegie Mellon University

  • Legal
  • Privacy Policy