tree 4b7c40a7843f64d12c8f24b34903b55b2a1684a8
parent 8a55d1831976b6cc5a68070d7e9b402dec0a4fc1
author Zvonimir Pavlinovic <zpavlinovic@google.com> 1642623816 -0800
committer Julie Qiu <julie@golang.org> 1648063033 +0000

vulncheck: add witness data structures

The added data structures are based on the internal discussion and
proposed design document.

Cherry-picked: https://go-review.googlesource.com/c/exp/+/379574

Change-Id: I59f9aff02655226cdab437e43771dd79889375b5
Reviewed-on: https://go-review.googlesource.com/c/vuln/+/395053
Trust: Julie Qiu <julie@golang.org>
Run-TryBot: Julie Qiu <julie@golang.org>
Reviewed-by: Jonathan Amsterdam <jba@google.com>