coins.aflow
Class FindDKill

java.lang.Object
  coins.aflow.util.AnalAdapter
      coins.aflow.FlowAdapter
          coins.aflow.FindKill
              coins.aflow.FindDKill

All Implemented Interfaces:

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.

Field Summary

Fields inherited from class coins.aflow.FlowAdapter

flow, flowRoot, fResults, hirRoot, ioRoot, symRoot

Constructor Summary

FindDKill(FlowResults pResults)
Creates a new instance of FindDKill

Method Summary

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)

Methods inherited from class coins.aflow.FindKill

find, find, find

Methods inherited from class coins.aflow.FlowAdapter

find, find, find, find, find, find

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FindDKill

public FindDKill(FlowResults pResults)

Creates a new instance of FindDKill

Method Detail

kills

protected boolean kills(SetRefRepr pKiller,
                        SetRefRepr pKillee)

Specified by:

kills in class FindKill

killsByAlias

protected boolean killsByAlias(SetRefRepr pKiller,
                               SetRefRepr pKillee,
                               RecordAlias pRecordAlias)

Specified by:

killsByAlias in class FindKill

register

protected void register(SetRefRepr pSetRefRepr,
                        DefVector pDefVect)

Specified by:

register in class FindKill

getKill

protected DefVector getKill(SetRefRepr pSetRefRepr)

Specified by:

getKill in class FindKill

register

protected void register(BBlock pBBlock,
                        DefVector pDefVect)

Specified by:

register in class FindKill