CertC-CONΒΆ
Concurrency
Nested Rules
Do not perform operations that can block while holding a lock |
|
Clean up thread-specific storage |
|
Do not destroy a mutex while it is locked |
|
Prevent data races when accessing bit-fields from multiple threads |
|
Avoid race conditions when using library functions |
|
Declare objects shared between threads with appropriate storage durations |
|
Avoid deadlock by locking in a predefined order |
|
Wrap functions that can spuriously wake up in a loop |
|
Do not call signal() in a multithreaded program |
|
Preserve thread safety and liveness when using condition variables |
|
Do not join or detach a thread that was previously joined or detached |
|
Do not refer to an atomic variable twice in an expression |
|
Wrap functions that can fail spuriously in a loop |
|
Do not allow data races in multithreaded code |
Options
Setting an option for this rule means setting the default for all nested rules.
This rule shares the following common options: exclude_in_macros, exclude_messages_in_system_headers, excludes, extend_exclude_to_macro_invocations, includes, justification_checker, languages, post_processing, provider, report_at, severity
The following places define options that affect this rule: Stylechecks, Analysis-GlobalOptions
This rule has no individual options.