Closed elliotmjackson closed 1 year ago
Checklocks is an analyzer for lock and atomic constraints. The analyzer relies on explicit annotations to identify fields that should be checked for access.
source
source