Hey Tafumi,
Were you able to complete this? I was recently thinking about this. I'd
love to see if you have it somewhat working (or even learn about the ideas
you thought of).
Thanks,
Subham
On Tuesday, 21 September, 2021 at 1:12:21 pm UTC+5:30 たふみ wrote:
> Hi,
>
> I'm seeking the static analysis checker (go vet tool) for missed call
> sync.Mutex.Unlock().
>
> For example: source code is like
>
> type T struct {
> mu sync.Mutex
> }
>
> func (t *T) A(a bool) {
> t.mu.Lock()
>
> if (a) {
> // here missing t.mu.Unlock()
> return
> }
> t.mu.Unlock()
> }
>
> and by running go vet -vettool SOME_AWESOME_CHECKER, I want to find the
> absent of Unlock().
>
> Currently, I'm developing this kind of tool (progress is about 60%), but
> if it exists, I don't want to reinvent the wheel.
>
> So if you have ever seen any other related project, please let me know.
>
> Thanks,
> Tafumi
>
--
You received this message because you are subscribed to the Google Groups
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to golang-nuts+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/golang-nuts/52ceedaf-6c1d-4fe7-8e10-51b324425f2en%40googlegroups.com.
