From 3e69f5d088d121f1d3c4bf44ca637a48f13c4819 Mon Sep 17 00:00:00 2001 From: Bhasker Hariharan Date: Wed, 3 Mar 2021 12:18:04 -0800 Subject: Add checklocks analyzer. 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: For more details please refer to README.md. PiperOrigin-RevId: 360729328 --- pkg/sentry/fs/gofer/inode_state.go | 1 + 1 file changed, 1 insertion(+) (limited to 'pkg/sentry/fs/gofer') diff --git a/pkg/sentry/fs/gofer/inode_state.go b/pkg/sentry/fs/gofer/inode_state.go index 141e3c27f..e2af1d2ae 100644 --- a/pkg/sentry/fs/gofer/inode_state.go +++ b/pkg/sentry/fs/gofer/inode_state.go @@ -109,6 +109,7 @@ func (i *inodeFileState) loadLoading(_ struct{}) { } // afterLoad is invoked by stateify. +// +checklocks:i.loading func (i *inodeFileState) afterLoad() { load := func() (err error) { // See comment on i.loading(). -- cgit v1.2.3