Title: Security Reviewer - Static Reviewer  
Author: Francesco Mariani Jun 30, 2025
Last Changed by: David Svoboda Aug 13, 2025
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/BYB1Iw
Export As: Word · PDF  
Incoming Links
SEI CERT C++ Coding Standard (20)
    Page: STR52-CPP. Use valid references, pointers, and iterators to reference elements of a basic_string
    Page: FIO50-CPP. Do not alternately input and output from a file stream without an intervening positioning call
    Page: FIO51-CPP. Close files when they are no longer needed
    Page: EXP50-CPP. Do not depend on the order of evaluation for side effects
    Page: MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
    Page: DCL50-CPP. Do not define a C-style variadic function
    Page: ERR59-CPP. Do not throw an exception across execution boundaries
    Page: STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
    Page: CTR52-CPP. Guarantee that library functions do not overflow
    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: CON53-CPP. Avoid deadlock by locking in a predefined order
    Page: MSC52-CPP. Value-returning functions must return a value from all exit paths
    Page: MEM51-CPP. Properly deallocate dynamically allocated resources
    Page: EXP53-CPP. Do not read uninitialized memory
    Page: MEM50-CPP. Do not access freed memory
    Page: OOP50-CPP. Do not invoke virtual functions from constructors or destructors
    Page: MEM53-CPP. Explicitly construct and destruct objects when manually managing object lifetime
    Page: STR51-CPP. Do not attempt to create a std::string from a null pointer
    Page: ERR51-CPP. Handle all exceptions
Hierarchy
Parent Page
    Page: CC. Analyzers
Labels
Global Labels (1)