程序包 proguard.analysis.cpa.defaults

类 ProgramLocationDependentReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>

java.lang.Object

proguard.analysis.cpa.defaults.ProgramLocationDependentReachedSet<StateT>

类型参数:

StateT - The type of the ProgramLocationDependent abstract states contained in the reached set. Typically, a JvmAbstractState, but might be a different type of state depending on the analysis (e.g., might contain JvmMemoryLocationAbstractState for taint trace analysis).

所有已实现的接口:

ReachedSet<StateT>

public final class ProgramLocationDependentReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>
extends Object
implements ReachedSet<StateT>

This ReachedSet stores ProgramLocationDependent AbstractStates. It assumes the analysis does merge the AbstractStates belonging to different CfaNodes and stores them in separate bins.

构造器概要

构造器

构造器	说明
ProgramLocationDependentReachedSet()

方法概要

修饰符和类型	方法	说明
boolean	add(StateT abstractState)	Adds an abstract state.
boolean	addAll(Collection<? extends StateT> abstractStates)	Adds multiple abstract states.
Collection<StateT>	asCollection()	Returns a collection representation of itself.
void	clear()	Empties the reached set.
Collection<StateT>	getReached(JvmCfaNode location)	Returns a collection of abstract states belonging to the given location.
Collection<StateT>	getReached(StateT abstractState)	Returns a collection of abstract states mergeable with the abstractState.
boolean	remove(StateT abstractState)	Removes an abstract state.
boolean	removeAll(Collection<? extends StateT> abstractStates)	Removes multiple abstract states.

从类继承的方法 java.lang.Object

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

构造器详细资料

ProgramLocationDependentReachedSet

public ProgramLocationDependentReachedSet()

方法详细资料

add

public boolean add(StateT abstractState)

从接口复制的说明: ReachedSet

Adds an abstract state.

指定者:

add 在接口中 ReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>

addAll

public boolean addAll(Collection<? extends StateT> abstractStates)

从接口复制的说明: ReachedSet

Adds multiple abstract states.

指定者:

addAll 在接口中 ReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>

remove

public boolean remove(StateT abstractState)

从接口复制的说明: ReachedSet

Removes an abstract state.

指定者:

remove 在接口中 ReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>

removeAll

public boolean removeAll(Collection<? extends StateT> abstractStates)

从接口复制的说明: ReachedSet

Removes multiple abstract states.

指定者:

removeAll 在接口中 ReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>

asCollection

public Collection<StateT> asCollection()

从接口复制的说明: ReachedSet

Returns a collection representation of itself.

指定者:

asCollection 在接口中 ReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>

getReached

public Collection<StateT> getReached(StateT abstractState)

从接口复制的说明: ReachedSet

Returns a collection of abstract states mergeable with the abstractState.

指定者:

getReached 在接口中 ReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>

getReached

public Collection<StateT> getReached(JvmCfaNode location)

Returns a collection of abstract states belonging to the given location.

clear

public void clear()

从接口复制的说明: ReachedSet

Empties the reached set.

指定者:

clear 在接口中 ReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>