GitHub
CERT Secure Coding

Codee

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: 2025.4.9

CheckerGuideline
PWD002CON43-C. Do not allow data races in multithreaded code
PWD002CON07-C. Ensure that compound operations on shared variables are atomic
PWD003MSC15-C. Do not depend on undefined behavior
PWD004ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWD005ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWD006EXP33-C. Do not read uninitialized memory
PWD006ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWD006MSC15-C. Do not depend on undefined behavior
PWD007CON43-C. Do not allow data races in multithreaded code
PWD008ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWD008CON43-C. Do not allow data races in multithreaded code
PWD008MSC15-C. Do not depend on undefined behavior
PWD010CON43-C. Do not allow data races in multithreaded code
PWR001DCL19-C. Minimize the scope of variables and functions
PWR002DCL19-C. Minimize the scope of variables and functions
PWR014ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWR028EXP08-C. Ensure pointer arithmetic is used correctly
PWR028MSC13-C. Detect and remove unused values
PWR030EXP08-C. Ensure pointer arithmetic is used correctly
PWR030MSC13-C. Detect and remove unused values
PWR037FLP34-C. Ensure that floating-point conversions are within range of the new type
PWR079EXP33-C. Do not read uninitialized memory
PWR079EXP34-C. Do not dereference null pointers
PWR079MSC15-C. Do not depend on undefined behavior
PWR080EXP33-C. Do not read uninitialized memory
PWR080EXP34-C. Do not dereference null pointers
PWR080MSC15-C. Do not depend on undefined behavior
PWR082MSC13-C. Detect and remove unused values
PWR086EXP08-C. Ensure pointer arithmetic is used correctly
PWR086MSC13-C. Detect and remove unused values
RMK016FLP01-C. Take care in rearranging floating-point expressions