Some environments implementations provide a nonportable environment pointers pointer that are is valid when main()
is called , but may be invalided invalidated by operations that modify the environment.
According to C99 \[[The C Standard, J.5.2 [ISO/IEC 9899:1999|AA. C References#ISO/IEC 9899-1999]\]2024], states Wiki Markup
In a hosted environment, the main function receives a third argument, char *envp[], that points to a null-terminated array of pointers to char, each of which points to a string that provides information about the environment for this execution of the program (5.1.2.3.2).
In a hosted environment, the main function receives a third argument, {{char \*envp\[\]}}, that points to a null-terminated array of pointers to {{char}}, each of which points to a string that provides information about the environment for this execution of the program. Wiki Markup
Consequently, under a hosted environment supporting this common extension, it is possible to access the environment through a modified form of main()
:
Code Block |
---|
main(int argc, char *argv[], char *envp[]){ /* ... */ } |
However, modifying the environment by any means may cause the environment memory to be reallocated, with the result that envp
now references an incorrect location. For example, when compiled with GCC version 3GCC 4.48.6 1 and run on a 32-bit Intel GNU/Linux machine, the following code:,
Code Block |
---|
#include <stdio.h> #include <stdlib.h> extern char **environ; /* ... */ int main(int argc, const char *argv[], const char *envp[]) { printf("environ: %p\n", environ); printf("envp: %p\n", envp); setenv("MY_NEW_VAR", "new_value", 1); puts("--Added MY_NEW_VAR--"); printf("environ: %p\n", environ); printf("envp: %p\n", envp); return 0; } |
yields:
Code Block |
---|
% ./envp-environ
environ: 0xbf8656ec
envp: 0xbf8656ec
--Added MY_NEW_VAR--
environ: 0x804a008
envp: 0xbf8656ec
|
It is evident from these results that the environment has been relocated as a result of the call to setenv()
. The external variable environ
is updated to refer to the current environment; the envp
parameter is not.
An environment pointer may also become invalidated by subsequent calls to getenv().
(See ENV34-C. Do not store pointers returned by certain functions for more information.)
Noncompliant Code Example (POSIX)
...
After a call to the POSIX {{setenv()
}} function , or to another function that modifies the environment, the {{envp
}} pointer may no longer reference the current environment. POSIX states that \[[Open Group 04|AA. C References#Open Group 04]\]The Portable Operating System Interface (POSIX®), Base Specifications, Issue 7 [IEEE Std 1003.1:2013], states
Unanticipated results may occur if
setenv()
changes the external variableenviron
. In particular, if the optionalenvp
argument tomain()
is present, it is not changed, and as a result thus may point to an obsolete copy of the environment (as may any other copy ofenviron
).
This noncompliant code example accesses the envp
pointer after calling setenv()
.:
Code Block | ||||
---|---|---|---|---|
| ||||
#include <stdio.h> #include <stdlib.h> int main(int argc, const char *argv[], const char *envp[]) { size_t i; if (setenv("MY_NEW_VAR", "new_value", 1) != 0) { /* Handle error */ } if (envp != NULL) { for (size_t i = 0; envp[i] != NULL; i++i) { if (puts(envp[i]) == EOF) { /* Handle error */ }; } } return 0; } |
Because envp
may no longer point to the current environment, this program has undefined unanticipated behavior.
Compliant Solution (POSIX)
Use environ
in place of envp
when defined.:
Code Block | ||||
---|---|---|---|---|
| ||||
#include <stdio.h> #include <stdlib.h> extern char **environ; /* ... */ int main(int argc, const char *argv[]void) { size_t i; if (setenv("MY_NEW_VAR", "new_value", 1) != 0) { /* Handle error */ } if (environ != NULL) { for (size_t i = 0; environ[i] != NULL; i++i) { if (puts(environ[i]) == EOF) { /* Handle error */ } ; } } return 0; } |
Noncompliant Code Example (Windows)
After a call to the Windows _putenv_s()
function , or other to another function that modifies the environment, the envp
pointer may no longer reference the environment.
According to the Visual C++ reference \[ [MSDN|AA. C References#MSDN]\] Wiki Markup
The environment block passed to
main
andwmain
is a "frozen" copy of the current environment. If you subsequently change the environment via a call to_putenv
or_wputenv
, the current environment (as returned bygetenv
/_wgetenv
and the_environ
/_wenviron
variable) will change, but the block pointed to byenvp
will not change.
This noncompliant code example accesses the envp
pointer after calling _putenvsputenv_s()
:
Code Block | ||||
---|---|---|---|---|
| ||||
#include <stdio.h> #include <stdlib.h> int main(int argc, const char *argv[], const char *envp[]) { size_t i; if (_putenv_s("MY_NEW_VAR", "new_value") != 0) { /* Handle error */ } if (envp != NULL) { for (size_t i = 0; envp[i] != NULL; i++i) { if (puts(envp[i]) == EOF) { /* Handle error */; } } } return 0; } |
Because envp
no longer points to the current environment, this program fails to print the value of MY_NEW_VAR
has unanticipated behavior.
Compliant Solution (Windows)
Use This compliant solution uses the _environ
variable in place of envp
when defined.:
Code Block | ||||
---|---|---|---|---|
| ||||
#include <stdio.h> #include <stdlib.h> _CRTIMP extern char **_environ; /* ... */ int main(int argc, const char *argv[]) { size_t i; if (_putenv_s("MY_NEW_VAR", "new_value") != 0) { /* Handle error */ } if (_environ != NULL) { for (size_t i = 0; _environ[i] != NULL; i++i) { if (puts(_environ[i]) == EOF) { /* Handle error */; } } } return 0; } |
Compliant Solution
If you have a great deal of unsafe envp
code, you can save time in your remediation by replacing.
This compliant solution can reduce remediation time when a large amount of noncompliant envp
code exists. It replaces
Code Block |
---|
Code Block |
int main(int argc, char *argv[], char *envp[]) {
/* ... */
}
|
with
Code Block | ||||
---|---|---|---|---|
| ||||
#if defined (_POSIX_) || defined (__USE_POSIX) extern char **environ; #define envp environ #else#elif defined(_WIN32) _CRTIMP extern char **_environ; #define envp _environ #endif int main(int argc, char *argv[]) { /* ... */ } |
This compliant solution may need to be extended to support other implementations that support forms of the external variable environ
.
Risk Assessment
Using the envp
environment pointer after the environment has been modified can result in undefined behavior.
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
---|---|---|---|---|---|
ENV31-C |
Low |
Probable |
Medium | P4 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||
---|---|---|---|---|---|
Astrée |
|
...
| Supported | ||||||||
Compass/ROSE | |||||||||
Cppcheck Premium | 24.9.0 | premium-cert-env31-c | Fully implemented | ||||||
Helix QAC |
| DF4991, DF4992, DF4993 | |||||||
LDRA tool suite |
| 118 S | Fully Implemented | ||||||
Parasoft C/C++test |
| CERT_C-ENV31-a | Do not rely on an environment pointer following an operation that may invalidate it | ||||||
| CERT C: Rule ENV31-C | Checks for environment pointer invalidated by previous operation (rule fully covered) |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Other Languages
...
Related Guidelines
Key here (explains table format and definitions)
Taxonomy | Taxonomy item | Relationship |
---|---|---|
CERT C | VOID ENV31-CPP. Do not rely on an environment pointer following an operation that may invalidate it |
...
Prior to 2018-01-12: CERT: Unspecified Relationship |
Bibliography
References
...
[IEEE Std 1003.1:2013] | XSH, System Interfaces, setenv |
...
...
2024] | J.5. |
...
2, |
...
"Environment |
...
Arguments" |
...
[ |
...
...
...
...
}}|http://msdn.microsoft.com/en-us/library/eyw7eyfw.aspx] \[[Open Group 04|AA. C References#Open Group 04]\] [{{setenv()}}|http://www.opengroup.org/onlinepubs/009695399/functions/setenv.html]ENV30-C. Do not modify the object pointed to by the return value of functions that gives environmental setting 10. Environment (ENV) ENV32-C. All atexit handlers must return normally