proguard.analysis.cpa.domain.taint

Class TaintAbstractState

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<TaintSource>

proguard.analysis.cpa.domain.taint.TaintAbstractState

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<TaintSource>, java.util.Collection<TaintSource>, java.util.Set<TaintSource>, LatticeAbstractState<TaintAbstractState>, AbstractState

public class TaintAbstractState
extends java.util.HashSet<TaintSource>
implements LatticeAbstractState<TaintAbstractState>

The TaintAbstractState is a set of TaintSources in the subset order.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static TaintAbstractState	bottom

Constructor Summary

Constructors

Constructor and Description
TaintAbstractState(TaintSource... taintSources) Create an abstract state containing selected taint sources.

Method Summary

Modifier and Type	Method and Description
TaintAbstractState	copy() Creates a copy of itself.
boolean	isLessOrEqual(TaintAbstractState abstractState) Compares itself to the abstractState.
TaintAbstractState	join(TaintAbstractState abstractState) Computes a join over itself and the abstractState.

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

equals, getPrecision, getStateByName, hashCode

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

bottom

public static final TaintAbstractState bottom

Constructor Detail

TaintAbstractState

public TaintAbstractState(TaintSource... taintSources)

Create an abstract state containing selected taint sources.

Parameters:

taintSources - a sequence of taint sources

Method Detail

join

public TaintAbstractState join(TaintAbstractState abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<TaintAbstractState>

isLessOrEqual

public boolean isLessOrEqual(TaintAbstractState abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<TaintAbstractState>

copy

public TaintAbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState