The C Standard, subclause 5.1.2.3, paragraph 2 [ISO/IEC 9899:2011], says,:
Accessing a volatile object, modifying an object, modifying a file, or calling a function that does any of those operations are all side effects, which are changes in the state of the execution environment. Evaluation of an expression in general includes both value computations and initiation of side effects. Value computation for an lvalue expression includes determining the identity of the designated object.
...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
CON02-C | Medium | Probable | No | MediumNo | P8P4 | L2L3 |
Automated Detection
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.TYPE.IVD | Inappropriate volatile declaration | ||||||
| Helix QAC |
| C1770 | |||||||
| Parasoft C/C++test |
| CERT_C-CON02-a | Do not use the volatile keyword | ||||||
| Security Reviewer - Static Reviewer | 6.02 | C11 | Fully Implemented |
Related Guidelines
Key here (explains table format and definitions)
...