Package crypto.analysis.errors

Class ErrorWithObjectAllocation

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.ErrorWithObjectAllocation

All Implemented Interfaces:

IError

Direct Known Subclasses:

ConstraintError, IncompleteOperationError, TypestateError

public abstract class ErrorWithObjectAllocation
extends AbstractError

Constructor Summary

Constructors

Constructor	Description
ErrorWithObjectAllocation(boomerang.jimple.Statement errorLocation, CrySLRule rule, IAnalysisSeed objectAllocationLocation)

Method Summary

Modifier and Type	Method	Description
Set<sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val>>	getDataFlowPath()
IAnalysisSeed	getObjectLocation()
protected String	getObjectType()

Methods inherited from class crypto.analysis.errors.AbstractError

addCausingError, addCausingError, addSubsequentError, equals, getErrorLocation, getRootErrors, getRule, getSubsequentErrors, hashCode, toErrorMarkerString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface crypto.analysis.errors.IError

accept

Constructor Detail

ErrorWithObjectAllocation

public ErrorWithObjectAllocation(boomerang.jimple.Statement errorLocation,
                                 CrySLRule rule,
                                 IAnalysisSeed objectAllocationLocation)

Method Detail

getObjectLocation

public IAnalysisSeed getObjectLocation()

getObjectType

protected String getObjectType()

getDataFlowPath

public Set<sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val>> getDataFlowPath()