This site is the archived OWASP Foundation Wiki and is no longer accepting Account Requests.
To view the new OWASP Foundation website, please visit https://owasp.org
Difference between revisions of "Race condition in signal handler"
Weilin Zhong (talk | contribs) |
|||
Line 2: | Line 2: | ||
{{Template:SecureSoftware}} | {{Template:SecureSoftware}} | ||
− | + | [[Category:FIXME|This is the text from the old template. This needs to be rewritten using the new template.]] | |
− | + | Last revision (mm/dd/yy): '''{{REVISIONMONTH}}/{{REVISIONDAY}}/{{REVISIONYEAR}}''' | |
− | + | [[ASDR_TOC_Vulnerabilities|Vulnerabilities Table of Contents]] | |
− | + | [[ASDR Table of Contents]] | |
+ | __TOC__ | ||
− | |||
− | == | + | ==Description== |
− | + | Race conditions occur frequently in signal handlers, since they are asynchronous actions. These race conditions may have any number of Problem Types and symptoms. | |
− | + | '''Consequences''' | |
− | * | + | * Authorization: It may be possible to execute arbitrary code through the use of a write-what-where condition. |
+ | * Integrity: Signal race conditions often result in data corruption. | ||
− | + | '''Exposure period''' | |
− | * | + | * Requirements specification: A language might be chosen which is not subject to this flaw. |
+ | * Design: Signal handlers with complicated functionality may result in this issue. | ||
+ | * Implementation: The use of any non-reentrant functionality or global variables in a signal handler might result in this race conditions. | ||
− | + | '''Platform''' | |
− | + | * Languages: C, C++, Assembly | |
+ | * Operating platforms: All | ||
+ | |||
+ | '''Required resources''' | ||
Any | Any | ||
− | + | '''Severity''' | |
High | High | ||
− | + | '''Likelihood of exploit''' | |
Medium | Medium | ||
− | + | Signal race conditions are a common issue that have only recently been seen as exploitable. These issues occur when non-reentrant functions, or state-sensitive actions occur in the signal handler, where they may be called at any time. If these functions are called at an inopportune moment - such as while a non-reentrant function is already running -, memory corruption occurs that may be exploitable. | |
− | + | Another signal race condition commonly found occurs when free is called within a signal handler, resulting in a double free and therefore a write-what-where condition. This is a perfect example of a signal handler taking actions which cannot be accounted for in state. Even if a given pointer is set to NULL after it has been freed, a race condition still exists between the time the memory was freed and the pointer was set to NULL. This is especially prudent if the same signal handler has been set for more than one signal - since it means that the signal handler itself may be reentered. | |
− | |||
− | + | ==Risk Factors== | |
− | + | TBD | |
− | + | ==Examples== | |
− | |||
− | |||
− | |||
− | ==Examples == | ||
<pre> | <pre> | ||
Line 82: | Line 83: | ||
</pre> | </pre> | ||
− | ==Related | + | ==Related [[Attacks]]== |
+ | |||
+ | * [[Attack 1]] | ||
+ | * [[Attack 2]] | ||
+ | |||
+ | |||
+ | ==Related [[Vulnerabilities]]== | ||
+ | |||
+ | * [[Doubly freeing memory]] | ||
+ | * [[Using freed memory]] | ||
+ | * [[Unsafe function call from a signal handler]] | ||
+ | * [[Write-what-where]] | ||
+ | |||
+ | |||
+ | ==Related [[Controls]]== | ||
+ | |||
+ | * Requirements specification: A language might be chosen, which is not subject to this flaw, through a guarantee of reentrant code. | ||
+ | * Design: Design signal handlers to only set flags rather than perform complex functionality. | ||
+ | * Implementation: Ensure that non-reentrant functions are not found in signal handlers. Also, use sanity checks to ensure that state is consistent be performing asynchronous actions which effect the state of execution. | ||
+ | |||
+ | |||
+ | |||
+ | ==Related [[Technical Impacts]]== | ||
+ | |||
+ | * [[Technical Impact 1]] | ||
+ | * [[Technical Impact 2]] | ||
+ | |||
+ | |||
+ | ==References== | ||
+ | Note: A reference to related [http://cwe.mitre.org/ CWE] or [http://capec.mitre.org/ CAPEC] article should be added when exists. Eg: | ||
+ | |||
+ | * [http://cwe.mitre.org/data/definitions/79.html CWE 79]. | ||
+ | * http://www.link1.com | ||
+ | * [http://www.link2.com Title for the link2] | ||
+ | |||
+ | [[Category:FIXME|add links | ||
+ | |||
+ | In addition, one should classify vulnerability based on the following subcategories: Ex:<nowiki>[[Category:Error Handling Vulnerability]]</nowiki> | ||
+ | |||
+ | Availability Vulnerability | ||
+ | |||
+ | Authorization Vulnerability | ||
+ | |||
+ | Authentication Vulnerability | ||
+ | |||
+ | Concurrency Vulnerability | ||
+ | |||
+ | Configuration Vulnerability | ||
+ | |||
+ | Cryptographic Vulnerability | ||
+ | |||
+ | Encoding Vulnerability | ||
+ | |||
+ | Error Handling Vulnerability | ||
− | + | Input Validation Vulnerability | |
− | + | Logging and Auditing Vulnerability | |
− | + | Session Management Vulnerability]] | |
− | + | __NOTOC__ | |
+ | [[Category:OWASP ASDR Project]] | ||
[[Category:Vulnerability]] | [[Category:Vulnerability]] | ||
[[Category:Synchronization and Timing Vulnerability]] | [[Category:Synchronization and Timing Vulnerability]] |
Revision as of 13:30, 30 September 2008
This is a Vulnerability. To view all vulnerabilities, please see the Vulnerability Category page.
Last revision (mm/dd/yy): 09/30/2008
Vulnerabilities Table of Contents
Description
Race conditions occur frequently in signal handlers, since they are asynchronous actions. These race conditions may have any number of Problem Types and symptoms.
Consequences
- Authorization: It may be possible to execute arbitrary code through the use of a write-what-where condition.
- Integrity: Signal race conditions often result in data corruption.
Exposure period
- Requirements specification: A language might be chosen which is not subject to this flaw.
- Design: Signal handlers with complicated functionality may result in this issue.
- Implementation: The use of any non-reentrant functionality or global variables in a signal handler might result in this race conditions.
Platform
- Languages: C, C++, Assembly
- Operating platforms: All
Required resources
Any
Severity
High
Likelihood of exploit
Medium
Signal race conditions are a common issue that have only recently been seen as exploitable. These issues occur when non-reentrant functions, or state-sensitive actions occur in the signal handler, where they may be called at any time. If these functions are called at an inopportune moment - such as while a non-reentrant function is already running -, memory corruption occurs that may be exploitable.
Another signal race condition commonly found occurs when free is called within a signal handler, resulting in a double free and therefore a write-what-where condition. This is a perfect example of a signal handler taking actions which cannot be accounted for in state. Even if a given pointer is set to NULL after it has been freed, a race condition still exists between the time the memory was freed and the pointer was set to NULL. This is especially prudent if the same signal handler has been set for more than one signal - since it means that the signal handler itself may be reentered.
Risk Factors
TBD
Examples
#include <signal.h> #include <syslog.h> #include <string.h> #include <stdlib.h> void *global1, *global2; char *what; void sh(int dummy) { syslog(LOG_NOTICE,"%s\n",what); free(global2); free(global1); sleep(10); exit(0); } int main(int argc,char* argv[]) { what=argv[1]; global1=strdup(argv[2]); global2=malloc(340); signal(SIGHUP,sh); signal(SIGTERM,sh); sleep(10); exit(0); }
Related Attacks
Related Vulnerabilities
- Doubly freeing memory
- Using freed memory
- Unsafe function call from a signal handler
- Write-what-where
Related Controls
- Requirements specification: A language might be chosen, which is not subject to this flaw, through a guarantee of reentrant code.
- Design: Design signal handlers to only set flags rather than perform complex functionality.
- Implementation: Ensure that non-reentrant functions are not found in signal handlers. Also, use sanity checks to ensure that state is consistent be performing asynchronous actions which effect the state of execution.
Related Technical Impacts
References
Note: A reference to related CWE or CAPEC article should be added when exists. Eg: