amit-davidson / Chronos

Chronos - A static race detector for the go language
MIT License
424 stars 11 forks source link

Fix mutex interface #33

Closed amit-davidson closed 3 years ago

amit-davidson commented 3 years ago

Relates to: https://github.com/amit-davidson/Chronos/issues/26 The problem is that when calling a mutex interface, it's possible to determine the mutex and callCommon.Args is nil. The program would therefore panic since it expected the first argument to be the receiver. A solution is to use pointer analysis but we ignore it for now since it's not a common use case.