Hi Subham, Yes, it was partially completed. But sorry, I'm currently working on a paper based on this tool, so cannot make it public. Maybe within 2 weeks, it will be released on GitHub.
Tafumi 2022年1月23日日曜日 8:02:20 UTC+9 Subham: > 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/dbab46e8-a12d-4ca7-bc68-3fa36794a99an%40googlegroups.com.