2 ms·

For Go, there is https://pkg.go.dev/gvisor.dev/gvisor/tools/checklocks https://pkg.go.dev/gvisor.dev/gvisor/tools/checklocks. There are some missing things from

by aktau 7mo ago

For Go, there is https://pkg.go.dev/gvisor.dev/gvisor/tools/checklocks https://pkg.go.dev/gvisor.dev/gvisor/tools/checklocks. There are some missing things from C++ Thread Safety annotations, but those could be added.