| soot.toolkits.scalar.ForwardFlowAnalysis soot.jimple.toolkits.infoflow.SimpleMethodInfoFlowAnalysis
All known Subclasses: soot.jimple.toolkits.infoflow.SimpleMethodLocalObjectsAnalysis,
Method Summary | |
public void | addToEntryInitialFlow(Value source, Value sink) | public void | addToNewInitialFlow(Value source, Value sink) | protected void | copy(Object source, Object dest) | public void | doFlowInsensitiveAnalysis() | protected Object | entryInitialFlow() | protected void | flowThrough(Object inValue, Object unit, Object outValue) | public MutableDirectedGraph | getMethodInfoFlowSummary() | public Value | getThisLocal() | protected void | handleFlowsToDataStructure(Value base, Value initialSource, FlowSet fs) | protected void | handleFlowsToValue(Value sink, Value initialSource, FlowSet fs) | protected List | handleInvokeExpr(InvokeExpr ie, FlowSet fs) | protected boolean | ignoreThisDataType(Type type) | public boolean | isInterestingSink(Value sink) | public boolean | isInterestingSource(Value source) | protected boolean | isNonRefType(Type type) | public boolean | isTrackableSink(Value sink) | public boolean | isTrackableSource(Value source) | protected void | merge(Object in1, Object in2, Object out) | protected Object | newInitialFlow() |
counter | public static int counter(Code) | | |
printMessages | boolean printMessages(Code) | | |
SimpleMethodInfoFlowAnalysis | protected SimpleMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa, boolean ignoreNonRefTypeFlow, boolean dummyDontRunAnalysisYet)(Code) | | A constructor that doesn't run the analysis
|
addToEntryInitialFlow | public void addToEntryInitialFlow(Value source, Value sink)(Code) | | |
addToNewInitialFlow | public void addToNewInitialFlow(Value source, Value sink)(Code) | | |
doFlowInsensitiveAnalysis | public void doFlowInsensitiveAnalysis()(Code) | | |
handleFlowsToDataStructure | protected void handleFlowsToDataStructure(Value base, Value initialSource, FlowSet fs)(Code) | | |
ignoreThisDataType | protected boolean ignoreThisDataType(Type type)(Code) | | |
isInterestingSink | public boolean isInterestingSink(Value sink)(Code) | | |
isInterestingSource | public boolean isInterestingSource(Value source)(Code) | | |
isNonRefType | protected boolean isNonRefType(Type type)(Code) | | |
isTrackableSink | public boolean isTrackableSink(Value sink)(Code) | | |
isTrackableSource | public boolean isTrackableSource(Value source)(Code) | | |
|
|