Page Information

Title:	CodeSonar
Author:	David Svoboda	Jan 08, 2015
Last Changed by:	David Svoboda	Aug 13, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/Kns-BQ
Export As:	Word · PDF

Incoming Links

SEI CERT C++ Coding Standard (61)
Page: CTR54-CPP. Do not subtract iterators that do not refer to the same container
Page: MSC52-CPP. Value-returning functions must return a value from all exit paths
Page: CON53-CPP. Avoid deadlock by locking in a predefined order
Page: INT50-CPP. Do not cast to an out-of-range enumeration value
Page: OOP54-CPP. Gracefully handle self-copy assignment
Page: CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container
Page: STR51-CPP. Do not attempt to create a std::string from a null pointer
Page: OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
Page: OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
Page: EXP53-CPP. Do not read uninitialized memory
Page: CON51-CPP. Ensure actively held locks are released on exceptional conditions
Page: EXP58-CPP. Pass an object of the correct type to va_start
Page: FIO50-CPP. Do not alternately input and output from a file stream without an intervening positioning call
Page: OOP53-CPP. Write constructor member initializers in the canonical order
Page: CON55-CPP. Preserve thread safety and liveness when using condition variables
Page: ERR57-CPP. Do not leak resources when handling exceptions
Page: OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
Page: ERR52-CPP. Do not use setjmp() or longjmp()
Page: ERR58-CPP. Handle all exceptions thrown before main() begins executing
Page: ERR50-CPP. Do not abruptly terminate the program
Page: DCL56-CPP. Avoid cycles during initialization of static objects
Page: ERR62-CPP. Detect errors when converting a string to a number
Page: EXP50-CPP. Do not depend on the order of evaluation for side effects
Page: EXP57-CPP. Do not cast or delete pointers to incomplete classes
Page: STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
Page: DCL50-CPP. Do not define a C-style variadic function
Page: ERR56-CPP. Guarantee exception safety
Page: CTR53-CPP. Use valid iterator ranges
Page: DCL58-CPP. Do not modify the standard namespaces
Page: EXP52-CPP. Do not rely on side effects in unevaluated operands
Page: STR53-CPP. Range check element access
Page: CTR56-CPP. Do not use pointer arithmetic on polymorphic objects
Page: ERR61-CPP. Catch exceptions by lvalue reference
Page: MEM54-CPP. Provide placement new with properly aligned pointers to sufficient storage capacity
Page: EXP51-CPP. Do not delete an array through a pointer of the incorrect type
Page: ERR51-CPP. Handle all exceptions
Page: CON52-CPP. Prevent data races when accessing bit-fields from multiple threads
Page: CON54-CPP. Wrap functions that can spuriously wake up in a loop
Page: CTR52-CPP. Guarantee that library functions do not overflow
Page: DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
Page: EXP59-CPP. Use offsetof() on valid types and members
Page: OOP50-CPP. Do not invoke virtual functions from constructors or destructors
Page: MSC53-CPP. Do not return from a function declared [[noreturn]]
Page: DCL60-CPP. Obey the one-definition rule
Page: MEM51-CPP. Properly deallocate dynamically allocated resources
Page: EXP54-CPP. Do not access an object outside of its lifetime
Page: EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
Page: EXP63-CPP. Do not rely on the value of a moved-from object
Page: DCL59-CPP. Do not define an unnamed namespace in a header file
Page: ERR55-CPP. Honor exception specifications
Page: STR52-CPP. Use valid references, pointers, and iterators to reference elements of a basic_string
Page: FIO51-CPP. Close files when they are no longer needed
Page: CTR50-CPP. Guarantee that container indices and iterators are within the valid range
Page: CON50-CPP. Do not destroy a mutex while it is locked
Page: DCL51-CPP. Do not declare or define a reserved identifier
Page: OOP58-CPP. Copy operations must not mutate the source object
Page: ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
Page: DCL55-CPP. Avoid information leakage when passing a class object across a trust boundary
Page: MEM50-CPP. Do not access freed memory
Page: DCL53-CPP. Do not write syntactically ambiguous declarations
Page: OOP51-CPP. Do not slice derived objects

Hierarchy

Parent Page
Page: CC. Analyzers

Labels

Global Labels (1)

analyzer

Recent Changes

Time	Editor
Aug 13, 2025 05:48	David Svoboda	View Changes
Jul 24, 2025 13:33	David Svoboda	View Changes
Jun 25, 2025 13:32	David Svoboda	View Changes
Mar 14, 2025 08:20	David Svoboda	View Changes
Mar 06, 2025 09:05	David Svoboda

View Page History

Outgoing Links

External Links (64)

https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…

SEI CERT C++ Coding Standard (1) Page: CodeSonar_V

Space shortcuts

Page tree