amit-davidson / Chronos

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

golang pointer analysis #46

Closed scott-cotton closed 2 years ago

scott-cotton commented 2 years ago

@amit-davidson Was wondering if updates w.r.t. Golang pointer analysis would be interesting for this project? Note there has been a fix recently (eg https://github.com/golang/go/issues/45735) and also I am working on (still pre-alpha: https://github.com/go-air/pal)

Would you be interested in seeing if either of these could help this project?

amit-davidson commented 2 years ago

The pointer analysis package has been a pain in the ass as it has many bugs and doesn't really work the way you would expect it to work. This project will benefit from a better pointer analysis, but I don't intend to maintain or change the code as it was written for learning purposes.

If you want, you can fork it and replace the pointer analysis package with yours. If that's ok with you, you can reach me through email, and I'll help you with everything you'll need 😀