...
Tool | Version | Checker | Description |
|---|
| | | | Section |
|---|
could detect violations of this recommendation by searching for the following pattern: - Any expression that calls two functions between the same sequence points
- Those two functions both modify the value of a static variable
- That static variable's value is referenced by code following the expression
|
|
| | | | Section |
|---|
can detect the specific instance where Statement contains multiple side-effects on the same value with an undefined evaluation order because with different compiler flags or different compilers or platforms, the statement may behave differently. |
|
| | | | Section |
|---|
35 D
72 D
74 D
1 Q
134 S |
| | Section |
|---|
Fully Implemented |
|
One could also violate the recommendation using dynamic memory passed to both functions, but that would be extremely difficult to detect using static analysis.
...
