Checker | Guideline |
|---|
| CCE_CC_CALLBACK_ACCESS | VNA00-J. Ensure visibility when accessing shared primitive variables |
| CCE_CC_CALLBACK_ACCESS | VNA01-J. Ensure visibility of shared references to immutable objects |
| CCE_CC_CALLBACK_ACCESS | VNA02-J. Ensure that compound operations on shared variables are atomic |
| CCE_CC_CALLBACK_ACCESS | VNA05-J. Ensure atomicity when reading and writing 64-bit values |
| CCE_CC_ITER_VIEW_BOTH_LOCKS | LCK04-J. Do not synchronize on a collection view if the backing collection is accessible |
| CCE_CC_ITER_VIEW_NO_LOCK | LCK04-J. Do not synchronize on a collection view if the backing collection is accessible |
| CCE_CC_ITER_VIEW_WRONG_LOCK | LCK04-J. Do not synchronize on a collection view if the backing collection is accessible |
| CCE_CC_NON_ATOMIC_CP | VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic |
| CCE_CC_NON_ATOMIC_GCP | VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic |
| CCE_CC_REUSEDOBJ_SYNC | LCK01-J. Do not synchronize on objects that may be reused |
| CCE_CC_SYNC_ON_VIEW | LCK04-J. Do not synchronize on a collection view if the backing collection is accessible |
| CCE_CC_UNSAFE_CONTENT | VNA00-J. Ensure visibility when accessing shared primitive variables |
| CCE_CC_UNSAFE_CONTENT | VNA01-J. Ensure visibility of shared references to immutable objects |
| CCE_CC_UNSAFE_CONTENT | VNA02-J. Ensure that compound operations on shared variables are atomic |
| CCE_CC_UNSAFE_CONTENT | VNA05-J. Ensure atomicity when reading and writing 64-bit values |
| CCE_CC_UNSAFE_ITERATION | VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic |
| CCE_DL_DEADLOCK | LCK07-J. Avoid deadlock by requesting and releasing locks in the same order |
| CCE_FF_VOLATILE | VNA00-J. Ensure visibility when accessing shared primitive variables |
| CCE_FF_VOLATILE | VNA05-J. Ensure atomicity when reading and writing 64-bit values |
| CCE_LK_LOCKED_BLOCKING_CALLS | LCK09-J. Do not perform operations that can block while holding a lock |
| CCE_LK_REPLACE_WITH_TRYLOCK | VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic |
| CCE_LK_UNRELEASED_ON_EXN | LCK08-J. Ensure actively held locks are released on exceptional conditions |
| CCE_SL_INCONSISTENT | VNA00-J. Ensure visibility when accessing shared primitive variables |
| CCE_SL_INCONSISTENT | VNA01-J. Ensure visibility of shared references to immutable objects |
| CCE_SL_INCONSISTENT | VNA02-J. Ensure that compound operations on shared variables are atomic |
| CCE_SL_INCONSISTENT | VNA05-J. Ensure atomicity when reading and writing 64-bit values |
| CCE_SL_INCONSISTENT_COL | VNA00-J. Ensure visibility when accessing shared primitive variables |
| CCE_SL_INCONSISTENT_COL | VNA01-J. Ensure visibility of shared references to immutable objects |
| CCE_SL_INCONSISTENT_COL | VNA02-J. Ensure that compound operations on shared variables are atomic |
| CCE_SL_INCONSISTENT_COL | VNA05-J. Ensure atomicity when reading and writing 64-bit values |
| CCE_SL_MIXED | VNA00-J. Ensure visibility when accessing shared primitive variables |
| CCE_SL_MIXED | VNA01-J. Ensure visibility of shared references to immutable objects |
| CCE_SL_MIXED | VNA02-J. Ensure that compound operations on shared variables are atomic |
| CCE_SL_MIXED | VNA05-J. Ensure atomicity when reading and writing 64-bit values |
| CCE_SL_MIXED_COL | VNA00-J. Ensure visibility when accessing shared primitive variables |
| CCE_SL_MIXED_COL | VNA01-J. Ensure visibility of shared references to immutable objects |
| CCE_SL_MIXED_COL | VNA02-J. Ensure that compound operations on shared variables are atomic |
| CCE_SL_MIXED_COL | VNA05-J. Ensure atomicity when reading and writing 64-bit values |
