Constructor.
Parameters: dfs - DepthFirstSearch on the control-flow graph of the method being analyzed Parameters: xmethod - XMethod object containing information about the method being analyzed Parameters: cfg - the control-flow graph (CFG) of the method being analyzed Parameters: vnaDataflow - ValueNumberDataflow for the method Parameters: typeQualifierValue - the TypeQualifierValue we want the dataflow analysis to check
Get the set of SourceSinkInfo objects representing sources/sinks
at a given Location.
Parameters: location - a Location Set of SourceSinkInfo objects representing sources/sinks at the Location