coins.aflow
クラス FindDKill

java.lang.Object
  |
  +--coins.aflow.util.AnalAdapter
        |
        +--coins.aflow.FlowAdapter
              |
              +--coins.aflow.FindKill
                    |
                    +--coins.aflow.FindDKill
すべての実装インタフェース:
Analyzer

public class FindDKill
extends FindKill

Finds the "DKill" vector for a BBlock or SetRefRepr. Th DKill set for a SetRefRepr this class finds is empty if the SetRefRepr is not an AssignStmt with its LHS a VarNode; if it is, the DKill set contains those SetRefReprs that are AssignStmts and have the same LHS as the SetRefRepr in question.


フィールドの概要
 
クラス coins.aflow.FlowAdapter から継承したフィールド
flow, flowRoot, fResults, hirRoot, ioRoot, symRoot
 
コンストラクタの概要
FindDKill(FlowResults pResults)
          Creates a new instance of FindDKill
 
メソッドの概要
protected  DefVector getKill(SetRefRepr pSetRefRepr)
           
protected  boolean kills(SetRefRepr pKiller, SetRefRepr pKillee)
           
protected  boolean killsByAlias(SetRefRepr pKiller, SetRefRepr pKillee, RecordAlias pRecordAlias)
           
protected  void register(BBlock pBBlock, DefVector pDefVect)
           
protected  void register(SetRefRepr pSetRefRepr, DefVector pDefVect)
           
 
クラス coins.aflow.FindKill から継承したメソッド
find, find, find
 
クラス coins.aflow.FlowAdapter から継承したメソッド
find, find, find, find, find, find
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

コンストラクタの詳細

FindDKill

public FindDKill(FlowResults pResults)
Creates a new instance of FindDKill

メソッドの詳細

kills

protected boolean kills(SetRefRepr pKiller,
                        SetRefRepr pKillee)
定義:
クラス FindKill 内の kills

killsByAlias

protected boolean killsByAlias(SetRefRepr pKiller,
                               SetRefRepr pKillee,
                               RecordAlias pRecordAlias)
定義:
クラス FindKill 内の killsByAlias

register

protected void register(SetRefRepr pSetRefRepr,
                        DefVector pDefVect)
定義:
クラス FindKill 内の register

getKill

protected DefVector getKill(SetRefRepr pSetRefRepr)
定義:
クラス FindKill 内の getKill

register

protected void register(BBlock pBBlock,
                        DefVector pDefVect)
定義:
クラス FindKill 内の register