Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-03-03 | Add checklocks analyzer. | Bhasker Hariharan | |
This validates that struct fields if annotated with "// checklocks:mu" where "mu" is a mutex field in the same struct then access to the field is only done with "mu" locked. All types that are guarded by a mutex must be annotated with // +checklocks:<mutex field name> For more details please refer to README.md. PiperOrigin-RevId: 360729328 |