An abstract backward argument value analysis, which provides utility functions.
Returns all assignments for a local variable. This walks the interprocedural control flow graph
back from a statement looking for all assignments to a given local variable.
start The statement where the analysis should start.
local The local variable whose assignments should be found.
init A boolean that indicates whether the analysis should be initialized. This should
always be true for non-recursive calls.
visitedUnits The set of statements visited by the analysis.
- The set of assignment statements for the local variable.
logger.debug("Finding assignments for local " + local);