tree 78e73b223d422be0d4991c1fbf3cc30708a365c8
parent 2ffe39b6d91b28135c162a6a0684667a7891e820
author Zvonimir Pavlinovic <zpavlinovic@google.com> 1643330654 -0800
committer Julie Qiu <julie@golang.org> 1648063218 +0000

vulncheck: add witness search logic for call stacks

The CL adds API for traversal of call graph in search of call stacks
that can serve as witnesses for uses of vulnerable symbols.

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

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