[IGNORE] Cumulative changes from facts rewrite - #260
Open
zoogies wants to merge 16 commits into
Open
Conversation
zoogies
force-pushed
the
review/reach-rust-stack
branch
from
August 20, 2026 14:11
f9d97a8 to
f5fcb77
Compare
rjsmith1999
reviewed
Sep 3, 2026
| files, which is determined by the [**RESOLVE** LLVM | ||
| pass](https://github.com/riversideresearch/resolve/blob/main/resolve-cc/src/ResolveFactsPluginPass.cpp) | ||
| that generates the facts. | ||
| Use `--dynlink` to include compatible external-linkage functions as indirect-call targets. |
Collaborator
There was a problem hiding this comment.
Not clear yet when I should use dynlink and what it does?
Collaborator
Author
There was a problem hiding this comment.
this was a custom flag (I think -dl) from eval 2 (CFS) that reach wrapper used to forward as a pass-through arg to reach. Just turns on indirect edges
| If you omit `--output`, the command derives the path from the input name. For example, `vulnerabilities.json` produces `vulnerabilities.reach.json`. | ||
|
|
||
| See the `--help` output for command line arguments/options. | ||
| Use `--src` to read a package version from a Vcpkg manifest. The result becomes unreachable when the installed version is outside the vulnerable range. |
Collaborator
There was a problem hiding this comment.
We might be able to make this more generic and support sboms generally? Including those generated by cmake...
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This is a branch with all of the stack PR changes combined into one PR, in case this is easier 😄