coins.flow
クラス InitiateFlowHir

java.lang.Object
  |
  +--coins.flow.InitiateFlow
        |
        +--coins.flow.InitiateFlowHir

public class InitiateFlowHir
extends InitiateFlow

HIR data flow initiation class.


フィールドの概要
protected  int fDbgLevel
           
protected  FlowRoot flowRoot
           
protected  SubpFlow fSubpFlow
           
protected  IoRoot ioRoot
           
 
クラス coins.flow.InitiateFlow から継承したフィールド
fBBlockList
 
コンストラクタの概要
InitiateFlowHir()
           
 
メソッドの概要
 void initiateDataFlow(SubpFlow pSubpFlow)
          Initiates data flow analysis for the given SubpFlow.
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

flowRoot

protected FlowRoot flowRoot

ioRoot

protected IoRoot ioRoot

fSubpFlow

protected SubpFlow fSubpFlow

fDbgLevel

protected int fDbgLevel
コンストラクタの詳細

InitiateFlowHir

public InitiateFlowHir()
メソッドの詳細

initiateDataFlow

public void initiateDataFlow(SubpFlow pSubpFlow)

Initiates data flow analysis for the given SubpFlow.

Does the following:

  • Link function calls' argument nodes to the argument list node (holds as a map entry in FlowResults).
  • Flags whether each BBlock
    • has any assignment to the contents of pointers.
    • ever accesses a pointer variable.
    • ever accesses a structure/union variable.
    • ever calls other functions.
  • Sets a unique index to each node.
  • link nodes to the enclosing BBlock (as a map entry in FlowResults).
  • Sets a unique index to each accessed symbol, and hold a table of such symbols.
  • Assigns FlowExpIds to the pertinent nodes
  • .
  • Do preparation for alias analysis
  • .

    定義:
    クラス InitiateFlow 内の initiateDataFlow