soot.jimple.toolkits.thread.synchronization

Class StrayRWFinder

java.lang.Object

soot.toolkits.scalar.AbstractFlowAnalysis<N,A>

soot.toolkits.scalar.FlowAnalysis<N,A>

soot.toolkits.scalar.BackwardFlowAnalysis

soot.jimple.toolkits.thread.synchronization.StrayRWFinder

public class StrayRWFinder
extends BackwardFlowAnalysis

Author:

Richard L. Halpert StrayRWFinder - Analysis to locate reads/writes to shared data that appear outside synchronization

Nested Class Summary

Nested classes/interfaces inherited from class soot.toolkits.scalar.FlowAnalysis

FlowAnalysis.Flow

Field Summary

Fields inherited from class soot.toolkits.scalar.FlowAnalysis

filterUnitToAfterFlow, unitToAfterFlow

Fields inherited from class soot.toolkits.scalar.AbstractFlowAnalysis

filterUnitToBeforeFlow, graph, unitToBeforeFlow

Method Summary

Modifier and Type	Method and Description
protected void	copy(Object source, Object dest) Creates a copy of the source flow object in dest.
protected Object	entryInitialFlow() IN(Start) is the empty set
protected void	flowThrough(Object inValue, Object unit, Object outValue) OUT is the same as (IN minus killSet) plus the genSet.
protected void	merge(Object in1, Object in2, Object out) union, except for transactions in progress.
protected Object	newInitialFlow() All INs are initialized to the empty set.

Methods inherited from class soot.toolkits.scalar.BackwardFlowAnalysis

doAnalysis, isForward

Methods inherited from class soot.toolkits.scalar.FlowAnalysis

getFlow, getFlowAfter, getFlowBefore, omissible

Methods inherited from class soot.toolkits.scalar.AbstractFlowAnalysis

merge, mergeInto, treatTrapHandlersAsEntries

Methods inherited from class java.lang.Object

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

Method Detail

newInitialFlow

protected Object newInitialFlow()

All INs are initialized to the empty set.

Specified by:

newInitialFlow in class AbstractFlowAnalysis

entryInitialFlow

protected Object entryInitialFlow()

IN(Start) is the empty set

Overrides:

entryInitialFlow in class AbstractFlowAnalysis

flowThrough

protected void flowThrough(Object inValue,
                           Object unit,
                           Object outValue)

OUT is the same as (IN minus killSet) plus the genSet.

Specified by:

flowThrough in class FlowAnalysis

Parameters:

inValue - the input flow

unit - the current node

outValue - the returned flow

merge

protected void merge(Object in1,
                     Object in2,
                     Object out)

union, except for transactions in progress. They get joined

Specified by:

merge in class AbstractFlowAnalysis

copy

protected void copy(Object source,
                    Object dest)

Description copied from class: AbstractFlowAnalysis

Creates a copy of the source flow object in dest.

Specified by:

copy in class AbstractFlowAnalysis