We have a function that acts as the start and end bounds for the automata usage. It will be useful to know if a module function is on any control path from the start to the end bound.
To do this, walk the bound function looking for CallInst objects that are calls to functions in the same module. Put those functions on a queue and search until convergence.
We have a function that acts as the start and end bounds for the automata usage. It will be useful to know if a module function is on any control path from the start to the end bound.
To do this, walk the bound function looking for
CallInst
objects that are calls to functions in the same module. Put those functions on a queue and search until convergence.