tree e775a229db2444588bcd6b0cab75f1cc3d27cc98
parent c3e30ffe9275c0e89ef0d38049bad16987bd7fb2
author Zvonimir Pavlinovic <zpavlinovic@google.com> 1619473508 -0700
committer Zvonimir Pavlinovic <zpavlinovic@google.com> 1621978723 +0000

vta: adds definition for VTA nodes and graph.

This is the first CL for the Variable Type Analysis (VTA) callgraph. It
provides the definition for VTA nodes and graph used to infer how types
flow through the Go program. This CL is first in the series of CLs that
build VTA type propagation graph.

The VTA algorithm is described in the paper called ``Practical Virtual Method Call Resolution for Java."

Change-Id: I2e4eafa139c6fdfba4bd709f041762ddc6174188
Reviewed-on: https://go-review.googlesource.com/c/tools/+/313749
Reviewed-by: Zvonimir Pavlinovic <zpavlinovic@google.com>
Reviewed-by: Tim King <taking@google.com>
Reviewed-by: Roland Shoemaker <roland@golang.org>
Run-TryBot: Zvonimir Pavlinovic <zpavlinovic@google.com>
Run-TryBot: Tim King <taking@google.com>
Trust: Tim King <taking@google.com>
gopls-CI: kokoro <noreply+kokoro@google.com>
TryBot-Result: Go Bot <gobot@golang.org>