tree 9c1749d8fbf516bdff6ff9bb56d6b19b4bc3e085
parent cb5df436b1a83a39d92407d8eeb185c7f5920030
author Zvonimir Pavlinovic <zpavlinovic@google.com> 1636763504 -0800
committer Zvonimir Pavlinovic <zpavlinovic@google.com> 1637094271 +0000

vulncheck: add forward slicing logic

This code is copied from vulndb/internal/audit. The logic is used to
compute a forward reachable set of functions starting from program entry
points. This set is effectively a conservative estimate of the program
subset relevant for vulncheck that is passed to vta call graph analysis.

Change-Id: I83c213c137976d5a3877eb478338affb9c72960b
Reviewed-on: https://go-review.googlesource.com/c/exp/+/363663
Run-TryBot: Zvonimir Pavlinovic <zpavlinovic@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Jonathan Amsterdam <jba@google.com>
Trust: Zvonimir Pavlinovic <zpavlinovic@google.com>