...
Some available static analysis tools can detect the instances of nonatomic update of a concurrently shared value. The result of the update is determined by the interleaving of thread execution. These tools can detect the instances where thread-shared data is accessed without holding an appropriate lock, possibly causing a race condition.
| Tool | Version | ToolVersion | Checker | DescriptionDescription | |||||
|---|---|---|---|---|---|---|---|---|---|
| ThreadSafe |
| CCE_SL_INCONSISTENT CCE_CC_CALLBACK_ACCESS CCE_SL_MIXED CCE_SL_INCONSISTENT_COL CCE_SL_MIXED_COL | Implemented |
Related Guidelines
CWE-667. Improper locking | |
| CWE-413. Improper resource locking |
| CWE-366. Race condition within a thread |
| CWE-567. Unsynchronized access to shared data in a multithreaded context |
...