"static" ignores dynamic calls altogether. "cha" uses Class Hierarchy Analysis, which assumes that a dynamic call may dispatch to any func or method that satisfies the type. Both these algorithms can work on partial programs, e.g. libraries without a main function or tests. (This feature was requested after my talk last night.) + Tests. LGTM=sameer R=sameer, minux CC=golang-codereviews, gri https://golang.org/cl/176780043 |
||
|---|---|---|
| astutil | ||
| blog | ||
| cmd | ||
| container/intsets | ||
| cover | ||
| dashboard | ||
| go | ||
| godoc | ||
| imports | ||
| oracle | ||
| playground | ||
| present | ||
| refactor | ||
| .hgignore | ||
| AUTHORS | ||
| CONTRIBUTORS | ||
| LICENSE | ||
| PATENTS | ||
| README | ||
| codereview.cfg | ||
README
This subrepository holds the source for various packages and tools that support the Go programming language. Some of the tools, godoc and vet for example, are included in binary Go distributions. Others, including the Go oracle and the test coverage tool, can be fetched with "go get". Packages include a type-checker for Go and an implementation of the Static Single Assignment form (SSA) representation for Go programs. To submit changes to this repository, see http://golang.org/doc/contribute.html.