tree 81005b580cccce0352c3d8b9b5e1a911e05c9a60
parent 9c70dc49e86b826a2b865515443d9a076b62554f
author Zvonimir Pavlinovic <zpavlinovic@google.com> 1636763504 -0800
committer Julie Qiu <julie@golang.org> 1648062854 +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.

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

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