Query module UnsafeLazyInitialization

name
Double-checked lock is not thread-safe
description
A repeated check on a non-volatile field is not thread-safe, and could result in unexpected behavior.
kind
problem
problem.severity
error
precision
high
id
cs/unsafe-double-checked-lock
tags
correctness concurrency external/cwe/cwe-609

Imports

StructuralComparison

Provides functionality for performing structural comparison of expressions and statements.

csharp

The default C# QL library.

Predicates

Classes