Query module UnsynchronizedStaticAccess

name
Unsynchronized access to static collection member in non-static context
description
If an unsynchronized access to a static collection member occurs during an addition or resizing operation, an infinite loop can occur.
kind
problem
problem.severity
error
precision
medium
id
cs/unsynchronized-static-access
tags
concurrency external/cwe/cwe-362 external/cwe/cwe-567

Imports

DataMembers

Provides classes for talking about “data members” of a class.

ThreadCreation

A library for reasoning about thread creation events in C#.

csharp

The default C# QL library.

Predicates