Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Incorrectly using threads that asynchronously cancel may result in silent corruption, resource leaks, and, in the worst case, unpredictable interactions.

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

WIN01-C

High

Likely

High

P9

L2

Automated Detection

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V
bad-function
Partially checked
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
(customization)

Users can add a custom check for all uses of  TerminateThread() and TerminateProcess().

RuleChecker

Include Page
RuleChecker_V
RuleChecker_V

bad-function
Partially checked

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...

TODO (notably, should be one about using ExitThread() from C++ code.

Bibliography

  

...




...