Class IFDSTaintDomain<E extends ISSABasicBlock>

java.lang.Object

org.scandroid.domain.IFDSTaintDomain<E>

All Implemented Interfaces:

TabulationDomain<DomainElement,BasicBlockInContext<E>>, OrdinalSetMapping<DomainElement>, Iterable<DomainElement>

public class IFDSTaintDomain<E extends ISSABasicBlock>
extends Object
implements TabulationDomain<DomainElement,BasicBlockInContext<E>>

Constructor Summary

Constructors

Constructor	Description
IFDSTaintDomain()

Method Summary

Modifier and Type	Method	Description
int	add(DomainElement o)	Add an Object to the set of mapped objects.
Set<CodeElement>	codeElements()
int	getMappedIndex(Object o)
DomainElement	getMappedObject(int n)
int	getMaximumIndex()
Set<DomainElement>	getPossibleElements(CodeElement codeElement)
int	getSize()
boolean	hasMappedIndex(DomainElement o)
boolean	hasPriorityOver(PathEdge<BasicBlockInContext<E>> p1, PathEdge<BasicBlockInContext<E>> p2)	returns true if p1 should be processed before p2 by the TabulationSolver
Iterator<DomainElement>	iterator()
Stream<DomainElement>	stream()	Stream over mapped objects.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

IFDSTaintDomain

public IFDSTaintDomain()

Method Details

getPossibleElements

public Set<DomainElement> getPossibleElements(CodeElement codeElement)

add

public int add(DomainElement o)

Description copied from interface: OrdinalSetMapping

Add an Object to the set of mapped objects.

Specified by:

add in interface OrdinalSetMapping<E extends ISSABasicBlock>

Returns:

the integer to which the object is mapped.

getMappedIndex

public int getMappedIndex(Object o)

Specified by:

getMappedIndex in interface OrdinalSetMapping<E extends ISSABasicBlock>

Returns:

the number of a given object, or -1 if the object is not currently in the range.

hasPriorityOver

public boolean hasPriorityOver(PathEdge<BasicBlockInContext<E>> p1,
 PathEdge<BasicBlockInContext<E>> p2)

Description copied from interface: TabulationDomain

returns true if p1 should be processed before p2 by the TabulationSolver

For example, if this domain supports a partial order on facts, return true if p1.d2 is weaker than p2.d2 (intuitively p1.d2 meet p2.d2 = p1.d2)

return false otherwise

Specified by:

hasPriorityOver in interface TabulationDomain<DomainElement,BasicBlockInContext<E extends ISSABasicBlock>>

getMappedObject

public DomainElement getMappedObject(int n)

Specified by:

getMappedObject in interface OrdinalSetMapping<E extends ISSABasicBlock>

Returns:

the object numbered n.

getMaximumIndex

public int getMaximumIndex()

Specified by:

getMaximumIndex in interface OrdinalSetMapping<E extends ISSABasicBlock>

Returns:

the maximum integer mapped to an object

getSize

public int getSize()

Specified by:

getSize in interface OrdinalSetMapping<E extends ISSABasicBlock>

Returns:

the current size of the bijection

hasMappedIndex

public boolean hasMappedIndex(DomainElement o)

Specified by:

hasMappedIndex in interface OrdinalSetMapping<E extends ISSABasicBlock>

Returns:

whether the given object is mapped by this mapping

iterator

public Iterator<DomainElement> iterator()

Specified by:

iterator in interface Iterable<E extends ISSABasicBlock>

stream

public Stream<DomainElement> stream()

Description copied from interface: OrdinalSetMapping

Stream over mapped objects.

Specified by:

stream in interface OrdinalSetMapping<E extends ISSABasicBlock>

Returns:

a stream over the mapped objects

codeElements

public Set<CodeElement> codeElements()