...
Include Page | ||||
---|---|---|---|---|
|
Checker | Guideline |
---|---|
MEM50-CPP. Do not access freed memory | |
MEM52-CPP. Detect and handle memory allocation errors | |
MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers | |
Can detect simple violations of this rule. It needs to examine each expression and make sure that no variable is modified twice in the expression. It also must check that no variable is modified once, then read elsewhere, with the single exception that a variable may appear on both the left and right of an assignment operator | EXP50-CPP. Do not depend on the order of evaluation for side effects |