diff options
author | Adin Scannell <ascannell@google.com> | 2021-11-03 22:14:59 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-11-03 22:17:30 -0700 |
commit | 80cba65bd84d6415719b07daeca7188871000242 (patch) | |
tree | 42efeff08ddd8a96e63b06b7d0c9fa8e29a3c545 /pkg/sentry/kernel/ipc/BUILD | |
parent | 5185548e157be1ec4c8c161d15ca8ee045a31a36 (diff) |
Add automatic lock inference and globals support.
Lock inference will apply annotations to all fields that seem to be
protected. This is currently disabled for all code by default, but it
can be enabled as annotations are applied more broadly.
PiperOrigin-RevId: 407501915
Diffstat (limited to 'pkg/sentry/kernel/ipc/BUILD')
0 files changed, 0 insertions, 0 deletions