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.
クラス 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