Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Info
titleGenerated Content

This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.

...

was automatically generated and should not be edited.

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

Include Page
java:

...

ThreadSafe_V
java:ThreadSafe_V

Checker

Guideline

CCE_CC_CALLBACK_ACCESSVNA00-J. Ensure visibility when accessing shared primitive variables
CCE_CC_CALLBACK_ACCESSVNA01-J. Ensure visibility of shared references to immutable objects
CCE_CC_CALLBACK_ACCESSVNA02-J. Ensure that compound operations on shared variables are atomic
CCE_CC_CALLBACK_ACCESSVNA05-J. Ensure atomicity when reading and writing 64-bit values
CCE_CC_ITER_VIEW_BOTH_LOCKSLCK04-J. Do not synchronize on a collection view if the backing collection is accessible
CCE_CC_ITER_VIEW_NO_LOCKLCK04-J. Do not synchronize on a collection view if the backing collection is accessible
CCE_CC_ITER_VIEW_WRONG_LOCKLCK04-J. Do not synchronize on a collection view if the backing collection is accessible
CCE_CC_NON_ATOMIC_CPVNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
CCE_CC_NON_ATOMIC_GCPVNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
CCE_CC_REUSEDOBJ_SYNCLCK01-J. Do not synchronize on objects that may be reused
CCE_CC_SYNC_ON_VIEWLCK04-J. Do not synchronize on a collection view if the backing collection is accessible
CCE_CC_UNSAFE_CONTENTVNA00-J. Ensure visibility when accessing shared primitive variables
CCE_CC_UNSAFE_CONTENTVNA01-J. Ensure visibility of shared references to immutable objects
CCE_CC_UNSAFE_CONTENTVNA02-J. Ensure that compound operations on shared variables are atomic
CCE_CC_UNSAFE_CONTENTVNA05-J. Ensure atomicity when reading and writing 64-bit values
CCE_CC_UNSAFE_ITERATIONVNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
CCE_DL_DEADLOCKLCK07-J. Avoid deadlock by requesting and releasing locks in the same order
CCE_FF_VOLATILEVNA00-J. Ensure visibility when accessing shared primitive variables
CCE_FF_VOLATILEVNA05-J. Ensure atomicity when reading and writing 64-bit values
CCE_LK_LOCKED_BLOCKING_CALLSLCK09-J. Do not perform operations that can block while holding a lock
CCE_LK_REPLACE_WITH_TRYLOCKVNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
CCE_LK_UNRELEASED_ON_EXNLCK08-J. Ensure actively held locks are released on exceptional conditions
CCE_SL_INCONSISTENTVNA00-J. Ensure visibility when accessing shared primitive variables
CCE_SL_INCONSISTENTVNA01-J. Ensure visibility of shared references to immutable objects
CCE_SL_INCONSISTENTVNA02-J. Ensure that compound operations on shared variables are atomic
CCE_SL_INCONSISTENTVNA05-J. Ensure atomicity when reading and writing 64-bit values
CCE_SL_INCONSISTENT_COLVNA00-J. Ensure visibility when accessing shared primitive variables
CCE_SL_INCONSISTENT_COLVNA01-J. Ensure visibility of shared references to immutable objects
CCE_SL_INCONSISTENT_COLVNA02-J. Ensure that compound operations on shared variables are atomic
CCE_SL_INCONSISTENT_COLVNA05-J. Ensure atomicity when reading and writing 64-bit values
CCE_SL_MIXEDVNA00-J. Ensure visibility when accessing shared primitive variables
CCE_SL_MIXEDVNA01-J. Ensure visibility of shared references to immutable objects
CCE_SL_MIXEDVNA02-J. Ensure that compound operations on shared variables are atomic
CCE_SL_MIXEDVNA05-J. Ensure atomicity when reading and writing 64-bit values
CCE_SL_MIXED_COLVNA00-J. Ensure visibility when accessing shared primitive variables
CCE_SL_MIXED_COLVNA01-J. Ensure visibility of shared references to immutable objects
CCE_SL_MIXED_COLVNA02-J. Ensure that compound operations on shared variables are atomic
CCE_SL_MIXED_COLVNA05-J. Ensure atomicity when reading and writing 64-bit values

...