Skip to main content
assistive.skiplink.to.breadcrumbs
assistive.skiplink.to.header.menu
assistive.skiplink.to.action.menu
assistive.skiplink.to.quick.search
Log in
Confluence
Spaces
Hit enter to search
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
Available Gadgets
About Confluence
Log in
SEI CERT C++ Coding Standard
Pages
Boards
Space shortcuts
Dashboard
Secure Coding Home
Android
C
C++
Java
Perl
Page tree
Browse pages
Configure
Space tools
View Page
A
t
tachments (0)
Page History
Page Information
View in Hierarchy
View Source
Export to PDF
Export to Word
Pages
…
SEI CERT C++ Coding Standard
3 Back Matter
CC. Analyzers
PVS-Studio_V
Page Information
Title:
PVS-Studio_V
Author:
Will Snavely
Mar 26, 2018
Last Changed by:
Valery
Oct 08, 2024
Tiny Link:
(useful for email)
https://wiki.sei.cmu.edu/confluence/x/pAF2Bg
Export As:
Word
·
PDF
Incoming Links
SEI CERT C++ Coding Standard (33)
Page:
ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
Page:
EXP50-CPP. Do not depend on the order of evaluation for side effects
Page:
EXP54-CPP. Do not access an object outside of its lifetime
Page:
EXP63-CPP. Do not rely on the value of a moved-from object
Page:
CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container
Page:
MEM54-CPP. Provide placement new with properly aligned pointers to sufficient storage capacity
Page:
OOP51-CPP. Do not slice derived objects
Page:
MEM50-CPP. Do not access freed memory
Page:
ERR61-CPP. Catch exceptions by lvalue reference
Page:
CTR53-CPP. Use valid iterator ranges
Page:
DCL58-CPP. Do not modify the standard namespaces
Page:
MSC52-CPP. Value-returning functions must return a value from all exit paths
Page:
DCL51-CPP. Do not declare or define a reserved identifier
Page:
INT50-CPP. Do not cast to an out-of-range enumeration value
Page:
MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart pointer
Page:
MSC51-CPP. Ensure your random number generator is properly seeded
Page:
DCL59-CPP. Do not define an unnamed namespace in a header file
Page:
CTR50-CPP. Guarantee that container indices and iterators are within the valid range
Page:
EXP53-CPP. Do not read uninitialized memory
Page:
ERR56-CPP. Guarantee exception safety
Page:
CTR56-CPP. Do not use pointer arithmetic on polymorphic objects
Page:
EXP62-CPP. Do not access the bits of an object representation that are not part of the object's value representation
Page:
PVS-Studio
Page:
OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
Page:
DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
Page:
MEM52-CPP. Detect and handle memory allocation errors
Page:
EXP61-CPP. A lambda object must not outlive any of its reference captured objects
Page:
MSC53-CPP. Do not return from a function declared [[noreturn]]
Page:
OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
Page:
MEM51-CPP. Properly deallocate dynamically allocated resources
Page:
OOP50-CPP. Do not invoke virtual functions from constructors or destructors
Page:
ERR50-CPP. Do not abruptly terminate the program
Page:
MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
Hierarchy
Parent Page
Page:
CC. Analyzers
Labels
There are no labels assigned to this page.
Recent Changes
Time
Editor
Oct 08, 2024 07:45
Valery
View Changes
Aug 06, 2024 14:18
Valery
View Changes
Jun 11, 2024 13:52
Valery
View Changes
Apr 12, 2024 05:31
Valery
View Changes
Feb 07, 2024 06:26
Valery
View Page History
Overview
Content Tools
{"serverDuration": 89, "requestCorrelationId": "c8938852e7e4f3b0"}