Add/implement isReachable()/pathsTo() for control flow

[blipper]

Is your feature request related to a problem? Please describe. I am writing a plugin to determine if a set of constant values can propagate to a certain function with a parameter that is tagged with an LLVM IR custom attribute. I want a way to check from the entry point (or really any function) if there is a path that function to the target function.

This will allow me to select a set of paths so that I can only propogate constants along the paths to the target function

Describe the solution you'd like Something that does this?

Describe alternatives you've considered Maybe a backward analysis to the entry points but still need paths to get there.

Additional context Example code

void crypt(int attribute((annotate("crypto_iv_size")) iv_size) { }

int main() { const int kIVSize = 8; crypt(kIVSize); }

[MMory]

If I understand your request right this functionality should already be present: run the analysis that propagates your values of interest and then use resultsAt() at the location of interest and check whether the returned set of data-flow fact contains the LLVM values of interest.

[pdschubert]

pathTo functionalities that allow for path-sensitive data-flow analysis have been implemented. We will merge them to open-source PhASAR soon.