...
However, note that both calling functions and accessing volatile-qualified objects can still be optimized out (while maintaining strict conformance to the standard), so this compliant solution still might not work in some cases. The memset_s() function introduced in C11 is the preferred solution (see the following solution for more information). If memset_s() function is not yet available on your implementation, this compliant solution is the best alternative, and can be discarded once supported by your implementation.
Compliant Solution (C11)
The C Standard includes a memset_s function. Subclause K.3.7.4.1, paragraph 4 [ISO/IEC 9899:2011], states:
Unlike
memset, any call to thememset_sfunction shall be evaluated strictly according to the rules of the abstract machine as described in (5.1.2.3). That is, any call to thememset_sfunction shall assume that the memory indicated bysandnmay be accessible in the future and thus must contain the values indicated byc.
| Code Block | ||||
|---|---|---|---|---|
| ||||
void getPassword(void) {
char pwd[64];
if (retrievePassword(pwd, sizeof(pwd))) {
/* Checking of password, secure operations, etc. */
}
memset_s(pwd, 0, sizeof(pwd));
}
|
Noncompliant Code Example
...
Recommendation | Severity | Likelihood | Detectable | Remediation CostRepairable | Priority | Level |
|---|---|---|---|---|---|---|
MSC06-C | Medium | Probable | Yes | YesMedium | P8P12 | L2L1 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| BADFUNC.MEMSET | Use of memset | ||||||
| LDRA tool suite |
| 35 S, 57 S, 8 D, 65 D, 76 D, 105 D, I J, 3 J | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_C-MSC06-a | Avoid calls to memory-setting functions that can be optimized out by the compiler | ||||||
| PC-lint Plus |
| 586 | Assistance provided | ||||||
| PVS-Studio6.22 |
| V597, V712, V1001 |
Related Guidelines
...
| [ISO/IEC 9899:2011] | Subclause 6.8.5, "Iteration Statements" Subclause K.3.7.4.1, "The memset_s Function" | ||
| [MSDN] | "SecureZeroMemory" "Optimize (C/C++)" | ||
| "Safe Clearing of Private Data" | |||
| [US-CERT] | "MEMSET" | ||
| [Wheeler 2003] | Section 11.4, "Specially Protect Secrets (Passwords and Keys) in User Memory" | "Safe Clearing of Private Data | " |
...