tree 5395b6fa09801e586bd699e6f111fd0b4c83bab0
parent 7b334a16533f8c246a29e830921f71a7d549c08c
author Zvonimir Pavlinovic <zpavlinovic@google.com> 1642623816 -0800
committer Zvonimir Pavlinovic <zpavlinovic@google.com> 1643045214 +0000

vulncheck: add witness data structures

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

Change-Id: I07c3c8fdfcd74d7642e32d8201f1850c48375202
Reviewed-on: https://go-review.googlesource.com/c/exp/+/379574
Run-TryBot: Zvonimir Pavlinovic <zpavlinovic@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Hyang-Ah Hana Kim <hyangah@gmail.com>
Trust: Zvonimir Pavlinovic <zpavlinovic@google.com>