74021b4175
See the usage message in main.go for orientation. To the best of my knowledge, the tool implements all required soundness checks, except: - the dynamic behaviour of reflection is obviously undecidable. - it rejects method renamings that change the "implements" relation. It should probably be more aggressive. - actually it only checks the part of the "implements" relation needed for compilation. Understanding the dynamic behaviour of interfaces is obviously undecidable. - a couple of minor gaps are indicated by TODO comments. Also: - Emacs integration. - tests of all safety checks and (some) successful rewrites. LGTM=dominik.honnef, sameer R=gri, sameer, dominik.honnef CC=golang-codereviews https://golang.org/cl/139150044 |
||
|---|---|---|
| .. | ||
| benchcmp | ||
| cover | ||
| eg | ||
| godex | ||
| godoc | ||
| goimports | ||
| gorename | ||
| gotype | ||
| html2article | ||
| oracle | ||
| present | ||
| ssadump | ||
| stringer | ||
| vet | ||