Package sootup.callgraph.scope

Class ExcludedCallsCollectingCallResolver

java.lang.Object

sootup.callgraph.scope.DefaultCallResolver

sootup.callgraph.scope.ExcludedCallsCollectingCallResolver

All Implemented Interfaces:

CallResolver

public class ExcludedCallsCollectingCallResolver
extends DefaultCallResolver

A CallResolver that applies the same filtering as DefaultCallResolver (excluding calls originating from library classes), while additionally recording the signature of every method whose calls were excluded, so callers can inspect what was pruned after the call graph has been constructed, e.g. to diagnose why an expected method is missing from the call graph.

Constructor Summary

Constructors

Constructor	Description
ExcludedCallsCollectingCallResolver(@NonNull View view)

Method Summary

Modifier and Type	Method	Description
@NonNull Set<MethodSignature>	getVisitedExcludedMethods()	Returns the signatures of the methods whose calls were excluded from expansion so far.
ExplorationVerdict	tryAdvance(@NonNull SootMethod method, @NonNull InvokableStmt statement)	Decides whether the call(s) triggered by statement in caller should be resolved and expanded at all.

Methods inherited from class java.lang.Object

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

Constructor Details

ExcludedCallsCollectingCallResolver

public ExcludedCallsCollectingCallResolver(@NonNull View view)

Method Details

tryAdvance

public ExplorationVerdict tryAdvance(@NonNull SootMethod method,
 @NonNull InvokableStmt statement)

Description copied from interface: CallResolver

Decides whether the call(s) triggered by statement in caller should be resolved and expanded at all.

Specified by:

tryAdvance in interface CallResolver

Overrides:

tryAdvance in class DefaultCallResolver

Parameters:

method - the source (caller) method

statement - the invokable statement causing the call

Returns:

the verdict for this statement; only ExplorationVerdict.EXPLORE_METHOD vs. non-ExplorationVerdict.EXPLORE_METHOD is significant here

getVisitedExcludedMethods

public @NonNull Set<MethodSignature> getVisitedExcludedMethods()

Returns the signatures of the methods whose calls were excluded from expansion so far.

Returns:

an unmodifiable view of the excluded method signatures