CheckLocks

Checklocks is an analyzer for lock and atomic constraints. The analyzer relies on explicit annotations to identify fields that should be checked for access. Atomic annotations Individual struct members may be noted as requiring atomic access. These annotations are of … Read more