Field Detail

• callDefs

  protected final Map<PointerKey,​SSAAbstractInvokeInstruction> callDefs

  Map: LocalPointerKey -> SSAInvokeInstruction. If we have (x, foo()), that means that x was def'fed by the return value from the call to foo()

• callParams

  protected final Map<PointerKey,​Set<SSAAbstractInvokeInstruction>> callParams

  Map: LocalPointerKey -> Set<SSAInvokeInstruction>. If we have (x, foo()), that means x was passed as a parameter to the call to foo(). The parameter position is not represented and must be recovered.

• params

  protected final Map<PointerKey,​CGNode> params

  Map: LocalPointerKey -> CGNode. If we have (x, foo), then x is a parameter of method foo. For now, we have to re-discover the parameter position. TODO this should just be a set; we can get the CGNode from the LocalPointerKey

• returns

  protected final Map<PointerKey,​CGNode> returns

  Map: LocalPointerKey -> CGNode. If we have (x, foo), then x is a return value of method foo. Must re-discover if x is normal or exceptional return value.

• mam

  protected final MemoryAccessMap mam

• heapModel

  protected final HeapModel heapModel

• cha

  protected final IClassHierarchy cha

• cg

  protected final CallGraph cg

Constructor Detail

• AbstractFlowGraph

  public AbstractFlowGraph​(MemoryAccessMap mam,
                           HeapModel heapModel,
                           IClassHierarchy cha,
                           CallGraph cg)

Method Detail

• visitSuccs

  public void visitSuccs​(Object node,
                         IFlowLabel.IFlowLabelVisitor v)

  Description copied from interface: IFlowGraph
  Apply a visitor to the successors of some node.

  Specified by:

  visitSuccs in interface IFlowGraph

• visitPreds

  public void visitPreds​(Object node,
                         IFlowLabel.IFlowLabelVisitor v)

  Description copied from interface: IFlowGraph
  Apply a visitor to the predecessors of some node.

  Specified by:

  visitPreds in interface IFlowGraph

• addNodesForInvocations

  protected void addNodesForInvocations​(CGNode node,
                                        IR ir)

  For each invocation in the method, add nodes for actual parameters and return values

  Parameters:

  node -

• isParam

  public boolean isParam​(LocalPointerKey pk)

  Specified by:

  isParam in interface IFlowGraph

  Returns:

  true iff pk is a formal parameter

• getInstrsPassingParam

  public Iterator<SSAAbstractInvokeInstruction> getInstrsPassingParam​(LocalPointerKey pk)

  Specified by:

  getInstrsPassingParam in interface IFlowGraph

  Returns:

  the SSAInvokeInstructions passing some pointer as a parameter

• getInstrReturningTo

  public SSAAbstractInvokeInstruction getInstrReturningTo​(LocalPointerKey pk)

  Description copied from interface: IFlowGraph
  get the SSAInvokeInstruction whose return value is assigned to a pointer key.

  Specified by:

  getInstrReturningTo in interface IFlowGraph

  Returns:

  the instruction, or null if no return value is assigned to pk

• getWritesToStaticField

  public Iterator<? extends Object> getWritesToStaticField​(StaticFieldKey sfk)
                                                    throws IllegalArgumentException

  Specified by:

  getWritesToStaticField in interface IFlowGraph

  Parameters:

  sfk - the static field

  Returns:

  all the variables whose values are written to sfk

  Throws:

  IllegalArgumentException - if sfk == null

• getReadsOfStaticField

  public Iterator<? extends Object> getReadsOfStaticField​(StaticFieldKey sfk)
                                                   throws IllegalArgumentException

  Specified by:

  getReadsOfStaticField in interface IFlowGraph

  Parameters:

  sfk - the static field

  Returns:

  all the variables that get the value of sfk

  Throws:

  IllegalArgumentException - if sfk == null

• getWritesToInstanceField

  public Iterator<PointerKey> getWritesToInstanceField​(PointerKey pk,
                                                       IField f)

  Specified by:

  getWritesToInstanceField in interface IFlowGraph

• convertPointerKeyToHeapModel

  public static PointerKey convertPointerKeyToHeapModel​(PointerKey pk,
                                                        HeapModel h)

  convert a pointer key to one in the memory access map's heap model TODO move this somewhere more appropriate

  Throws:

  UnsupportedOperationException - if it doesn't know how to handle a PointerKey

• getReadsOfInstanceField

  public Iterator<PointerKey> getReadsOfInstanceField​(PointerKey pk,
                                                      IField f)

  Specified by:

  getReadsOfInstanceField in interface IFlowGraph

• getArrayReads

  protected Iterator<PointerKey> getArrayReads​(PointerKey arrayRef)

• addNodePassthruExceptionConstraints

  protected void addNodePassthruExceptionConstraints​(CGNode node,
                                                     IR ir)

  Add constraints to represent the flow of exceptions to the exceptional return value for this node

• addExceptionDefConstraints

  protected void addExceptionDefConstraints​(IR ir,
                                            CGNode node,
                                            List<ProgramCounter> peis,
                                            PointerKey exceptionVar,
                                            Set<IClass> catchClasses)

  Generate constraints which assign exception values into an exception pointer

  Parameters:

  node - governing node

  peis - list of PEI instructions

  exceptionVar - PointerKey representing a pointer to an exception value

  catchClasses - the types "caught" by the exceptionVar

• addNodeConstantConstraints

  protected void addNodeConstantConstraints​(CGNode node,
                                            IR ir)

  add constraints for reference constants assigned to vars